105	  Iliasov, Alexei and Dotti, Fernando and Romanovsky, Alexander  (2009) Structuring Specifications with Modes.  In: Fourth Latin-American Symposium on Dependable Computing (LADC), September 1-4, 2009, Brazil.     
<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>