Marcello Bonfè Cesare Fantuzzi Cristian Secchi Object-oriented modeling of multi-domain systems. 363-368 2005 CASE https://doi.org/10.1109/COASE.2005.1506796 conf/case/2005 db/conf/case/case2005.html#BonfeFS05