TY - RPRT TI - State Machine Flattening: Mapping Study and Assessment AU - Xavier Devroey AU - Gilles Perrouin AU - Maxime Cordy AU - Axel Legay AU - Pierre-Yves Schobbens AU - Patrick Heymans PY - 2014 DO - 10.1109/icstw.2015.7107408 UR - https://arxiv.org/abs/1403.5398 ID - 1403.5398 ER -