1. An approach to optimisation of fault tolerant architectures using hip-hops;Adachi;Softw. Pract. Exp.,2011
2. The altarica formalism for describing concurrent systems;Arnold;Fundam. Inf.,2000
3. Assert Project, [Online, Accessed 14 April 2018];ASSERT project,2008
4. Atl: atlas transformation language, ATL starter’s guide;ATLAS group;Technical report, ATLAS group,2005
5. Principles of Model Checking;Baier,2008