Dotti, Fernando and Iliasov, Alexei and Riberiro, Leila and Romanovsky, Alexander (2009) Modal Systems: Specification, Reļ¬nement and Realisation. In: International Conference on Formal Engineering Methods - ICFEM 09 , December 9 -12, 2009, Rio de Janeiro, Brazil.