Marco Brambilla Christina Tziviskou An Online Platform for Semantic Validation of UML Models. 477-480 2009 ICWE http://dx.doi.org/10.1007/978-3-642-02818-2_42 conf/icwe/2009 db/conf/icwe/icwe2009.html#BrambillaT09