Ansuman Banerjee Sayak Ray Pallab Dasgupta Partha Pratim Chakrabarti S. Ramesh P. Vignesh V. Ganesan A Dynamic Assertion-Based Verification Platform for Validation of UML Designs. 222-227 2008 ATVA http://dx.doi.org/10.1007/978-3-540-88387-6_18 conf/atva/2008 db/conf/atva/atva2008.html#BanerjeeRDCRG08