Daniel Amyot Jun Biao Yan Flexible verification of user-defined semantic constraints in modelling tools. 7 2008 CASCON http://doi.acm.org/10.1145/1463788.1463798 conf/cascon/2008 db/conf/cascon/cascon2008.html#AmyotY08