Flexible verification of user-defined semantic constraints in modelling tools. - Daniel Amyot; Jun Biao Yan (CASCON, 2008)