Hierarchical featured state machines - Fragal, Vanderson Hafemann; Simão, Adenilso da Silva; Mousavi, Mohammad Reza (Science of Computer Programming, 2019)