1. Trigger2B: A Tool Generating Event-B Models from Database Triggers;Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering;2021
2. Modeling and Verifying DML Triggers Using Event-B;Intelligent Information and Database Systems;2013
3. Graphical notations for active rules in UML and UML-A;ACM SIGSOFT Software Engineering Notes;2003-03
4. TriGS Debugger - A Tool for Debugging Active Database Behavior1;Lecture Notes in Computer Science;2001
5. Dealing with Logical Failures for Collaborating Workflows;Cooperative Information Systems;2000