Controllability for Nondeterministic Finite Automata with Variables Topics: Model Composition; Model Transformation; Modeling Languages In Proceedings of the 8th International Joint Conference on Software Technologies - Volume 0ICSOFT, 438-446, 2013 , Reykjavík, Iceland