RSF: A Formalism for Executable Requirement Specifications. - Michela Degl'Innocenti; Gian-Luigi Ferrari 002; Giuliano Pacini; Franco Turini (IEEE Trans. Software Eng., 1990)