Formal modeling of case variation: a parametric approachдоклад на конференции