Vlad Rusu, Hervé Marchand, Valérie Tschaen, Thierry Jéron, Bertrand Jeannet. From Safety Verification to Safety Testing.
Testing of Communicating Systems (Testcom), Mar 2004, Oxford, United Kingdom. pp.160-176,
⟨10.1007/978-3-540-24704-3_11⟩.
⟨inria-00517304⟩