Interactive Systems. Design, Specification, and Verification 10th International Workshop, DSV-IS 2003, Funchal, Madeira Island, Portugal, June 11-13, 2003, Revised Papers Jorge, Joaquim Heftet / 2003 / Engelsk
UML Modeling Languages and Applications 2004 Satellite Activities Lisbon, Portugal, October 11-15, 2004, Revised Selected Papers Jardim Nunes, Nuno Heftet / 2005 / Engelsk
