Yasuyuki Tahara Akihiko Ohsuga Shinichi Honiden Formal Verification of Dynamic Evolution Processes of UML Models Using Aspects. 152-162 2017 SEAMS@ICSE https://doi.org/10.1109/SEAMS.2017.4 conf/icse/2017seams db/conf/icse/seams2017.html#TaharaOH17