Test Driven Development of UML Models with SMART Modeling System. - Susumu Hayashi; Pan YiBing; Masami Sato; Kenji Mori; Sul Sejeon; Shuusuke Haruna (UML, 2004)