1. Archeopterix: http://users.monash.edu.au/~aldeidaa/ArcheOpterix.html . Last accessed 21 Feb 2017
2. Autofocus 3: http://af3.fortiss.org . Last accessed 21 Feb 2017
3. Clafer: http://clafer.org . Last accessed 21 Feb 2017
4. EAST-ADL domain model specification, version V2.1.12.: http://east-adl.info/Specification/V2.1.12/EAST-ADL-Specification_V2.1.12.pdf . Last accessed 21 Feb 2017
5. OSATE, version 2.: http://osate.org . Last accessed 21 Feb 2017