3 papers:
SLE-2009-ZschalerSSARFMAK #product line #variability- VML* — A Family of Languages for Variability Management in Software Product Lines (SZ, PS, JPS, MA, AR, LF, AMDM, JA, UK), pp. 82–102.
UML-2003-SchmidtV #model checking #modelling #named #visual notation- CheckVML: A Tool for Model Checking Visual Modeling Languages (ÁS, DV), pp. 92–95.
CIKM-1994-ChenT #implementation #pattern matching #programming- An Optimized Implementation for VML Based on Pattern Matching and Dynamic Programming (WC, VT), pp. 88–96.