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