Formal Specification as a Tool for Objective Assessment of Safety-Critical Interactive Systems.

Philippe A. Palanque, Rmi Bastide, Fabio Patern

Browse the full Interact paper archive.