Peter Struss Model-based Systems: Theory and Industrial Applications. 3 2005 conf/iicai/2005 IICAI db/conf/iicai/iicai2005.html#Struss05