1. Bjerregaard T, Mahadevan S. A survey of research and practices of network-on-chip. ACM Computing Survey; 2006.
2. Modeling in Event-B: system and software engineering;Abrial,2010
3. Rodin Tool Platform. Event-B.org. tool platform. Available from: http://www.event-b.org/platform.html>; 2014.
4. Bi as an assertion language for mutable data structures;Ishtiaq;POPL,2001
5. Calcagno C, Distefano D. Infer: an automatic program verifier for memory safety of c programs. In: Bobaru MG, Havelund K, Holzmann GJ, Joshi R, editors. NASA Formal Methods – Third International Symposium, NFM 2011, Pasadena, CA; April 18–20, 2011. Proceedings; 2011. p. 459–65.