Faqing Yang, Jean-Pierre Jacquot. Scaling Up with Event-B: A Case Study. Mihaela Bobaru and Klaus Havelund and Gerard J. Holzmann and Rajeev Joshi.
Third NASA Formal Methods Symposium, Apr 2011, Pasadena, United States. 2011,
〈10.1007/978-3-642-20398-5_31〉.
〈inria-00604687〉