Modal transition system encoding of featured transition systems. - Mahsa Varshosaz; Lars Luthmann; Paul Mohr; Malte Lochau; Mohammad Reza Mousavi 001 (J. Log. Algebraic Methods Program., 2019)