POWER SUPPLY NETWORK PLANNING: A MODEL FOR RAPID TRANSIT SYSTEMSALIGATA L; CAMURRI F; TORIELLI F et al.1981; J. OPER. RES. SOC.; ISSN 0160-5682; GBR; DA. 1981; VOL. 32; NO 8; PP. 639-645Article

Formal verification of a railway interlocking system using model checkingCIMATTI, A; GIUNCHIGLIA, F; MONGARDI, G et al.Formal aspects of computing. 1998, Vol 10, Num 4, pp 361-380, issn 0934-5043Article

Model checking Safety critical software with SPIN : An application to a railway interlocking systemCIMATTI, A; GIUNCHIGLIA, F; MONGARDI, G et al.Lecture notes in computer science. 1998, pp 284-295, issn 0302-9743, isbn 3-540-65110-1Conference Paper

Combined therapy with inhaled nitric oxide and intravenous prostacyclin in an infant with alveolar-capillary dysplasiaPARKER, T. A; IVY, D. D; KINSELLA, J. P et al.American journal of respiratory and critical care medicine. 1997, Vol 155, Num 2, pp 743-746, issn 1073-449XArticle