A New System Engineering Methodology Coupling Formal Specification and Performance Evaluation. - Juan-José Martins; Jean-Pierre Hubaux (FME, 1996)

Evaluating Performance from Formal Specification. - Juan-José Martins; Jean-Pierre Hubaux (MASCOTS, 1996)