385	  Iliasov, Alexei and Laibinis, Linas and Troubitsyna, Elena and Romanovsky, Alexander and Latvala, Timo   Augmenting Event-B Modelling with Real-Time Verification.   In:  Proc. of Workshop on Formal Methods in Software Engineering: Rigorous and Agile Approaches held in conjunction with ICSE 2012. 2 June 2012, Zurich, Switzerland.   ACM.      
<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>