1. A methodology for mapping SysML activity diagram to time Petri net for requirement validation of embedded real-time systems with energy constrains;Andrade,2009
2. Applied ontologies for assembly system design and management within the aerospace industry;Arista,2019
3. Function, Role, and Disposition in Basic Formal Ontology;Arp;Nature Precedings,2008
4. Requirements verification in the industry;Fanmuy,2011