Ramón P. Otero David Lorenzo Pedro Cabalar Automatic Induction of DEVS Structures. 305-313 1995 conf/eurocast/1995 EUROCAST db/conf/eurocast/eurocast1995.html#OteroLC95 http://dx.doi.org/10.1007/BFb0034769