Model Checking and Refinement of Temporal Logic in SPIN Marı́a del Mar Gallardo, Jesús Martı́nez, Pedro Merino, Ernesto Pimentel Computer Science Department, University of Malaga 29071 Malaga , SPAIN gallardo,jmcruz, pedro, ernesto @lcc.uma.es

Vulnerability of Pipelines Subjected to Permanent Deformation Due to Geotechnical Co-seismic Effects Giovanni Lanzano, Ernesto Salzano, Filippo Santucci de Magistris, Giovanni Fabbrocino University of Molise, Di.B.T. Department, StreGa Laboratory, Via Duca degli Abruzzi s.n.c.,Termoli (CB), Italy Istituto di Ricerca sulla Combustione, Consiglio Nazionale delle Richerche, Via Diocleziano 328, Na...