About the Authors

Ovidiu Pârvu

ovidiu.parvu@gmail.com

Affiliation Department of Computer Science, College of Engineering, Design and Physical Sciences, Brunel University London, London, United Kingdom

David Gilbert

Affiliation Department of Computer Science, College of Engineering, Design and Physical Sciences, Brunel University London, London, United Kingdom

Competing Interests

The authors have declared that no competing interests exist.

Author Contributions

Conceived and designed the experiments: OP DG. Performed the experiments: OP. Analyzed the data: OP. Contributed reagents/materials/analysis tools: OP. Wrote the paper: OP DG. Developed and implemented the meta model checking methodology: OP. Proved that the multiscale model checking problem is well-defined: OP.