1. Cyber-physical system design contracts
2. Thomas R Gruber . 1993. A translation approach to portable ontology specifications. Knowledge acquisition 5, 2 ( 1993 ), 199--220. Thomas R Gruber. 1993. A translation approach to portable ontology specifications. Knowledge acquisition 5, 2 (1993), 199--220.
3. Levi Lúcio , Sadaf Mustafiz , Joachim Denil , Hans Vangheluwe , and Maris Jukss . 2013. FTG+ PM : An integrated framework for investigating model transformation chains . In International SDL Forum . Springer , 182--202. Levi Lúcio, Sadaf Mustafiz, Joachim Denil, Hans Vangheluwe, and Maris Jukss. 2013. FTG+ PM: An integrated framework for investigating model transformation chains. In International SDL Forum. Springer, 182--202.
4. Optimal assembly sequence based on design for assembly (DFA) rules
5. S Thomke . 2001. Enlightened experimentation. The new imperative for innovation. Harvard business review 79, 2 (February 2001 ), 66--75. http://europepmc.org/abstract/MED/11213699 S Thomke. 2001. Enlightened experimentation. The new imperative for innovation. Harvard business review 79, 2 (February 2001), 66--75. http://europepmc.org/abstract/MED/11213699