Evolving Specifications for Embedded Systems in the Automotive Domain

[1]  Egon Börger.  Specification and validation methods , 1995 .

[2]  Dusko Pavlovic,et al.  Software Development by Refinement , 2002, 10th Anniversary Colloquium of UNU/IIST.

[3]  Dusko Pavlovic,et al.  Semantics of First Order Parametric Specifications , 1999, World Congress on Formal Methods.

[4]  Yuri Gurevich,et al.  Evolving algebras 1993: Lipari guide , 1995, Specification and validation methods.

[5]  Dusko Pavlovic,et al.  Colimits for Concurrent Collectors , 2003, Verification: Theory and Practice.