Table 8. Availability of the MA graph, the generated MSTML file(s), the formal PBLMSTL specification, and the excerpts from the referenced papers used to write the formal specification for each case study.

MId	MA graph	MSTML file(s)	PBLMSTL specification	Excerpts from referenced papers
1	S5 File	S1 Dataset	S1 File	S10 Text
2	S6 File	S2 Dataset	S2 File	S11 Text
3	S7 File	S3 Dataset	S3 File	S12 Text
4	S8 File	S4 Dataset	S4 File	S13 Text

The “MId” column records the numeric identifiers associated with each computational model.