A Provably Correct Embedded Verifier for the Certification of Safety Critical Software. - Alessandro Cimatti; Fausto Giunchiglia; Paolo Pecchiari; Bruno Pietra; Joe Profeta; Dario Romano; Paolo Traverso; Bing Yu (CAV, 1997)

Model Checking Safety Critical Software with SPIN: An Application to a Railway Interlocking System. - Alessandro Cimatti; Fausto Giunchiglia; Giorgio Mongardi; Dario Romano; Fernando Torielli; Paolo Traverso (SAFECOMP, 1998)

Formal Verification of a Railway Interlocking System using Model Checking. - Alessandro Cimatti; Fausto Giunchiglia; Giorgio Mongardi; Dario Romano; Fernando Torielli; Paolo Traverso (Formal Aspects Comput., 1998)

A Formal Verification Environment for Railway Signaling System Design. - Cinzia Bernardeschi; Alessandro Fantechi; Stefania Gnesi; Salvatore Larosa; Giorgio Mongardi; Dario Romano (Formal Methods Syst. Des., 1998)

TRAVART: An Approach for Transforming Variability Models. - Kevin Feichtinger; Johann Stöbich; Dario Romano; Rick Rabiser (VaMoS, 2021)

Bridging the gap between academia and industry: transforming the universal variability language to pure: : variants and back. - Dario Romano; Kevin Feichtinger; Danilo Beuche; Uwe Ryssel; Rick Rabiser (SPLC (B), 2022)