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.