Zhou Zhou Linzhang Wang Zhanqi Cui Xin Chen Jianhua Zhao Jasmine: A Tool for Model-Driven Runtime Verification with UML Behavioral Models. 487-490 2008 HASE http://dx.doi.org/10.1109/HASE.2008.62 conf/hase/2008 db/conf/hase/hase2008.html#ZhouWCCZ08