Andrea Bobbio Ester Ciancamerla Giuliana Franceschinis Rossano Gaeta Michele Minichino Luigi Portinale Methods of Increasing Modelling Power for Safety Analysis, Applied to a Turbine Digital Control System. 212-223 2002 conf/safecomp/2002 SAFECOMP http://dx.doi.org/10.1007/3-540-45732-1_21 db/conf/safecomp/safecomp2002.html#BobbioCFGMP02