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://link.springer.de/link/service/series/0558/bibs/2434/24340212.htm db/conf/safecomp/safecomp2002.html#BobbioCFGMP02