Optimal task automaton decomposabilization for a class of global specifications - Karimadini, M. (2014)
10.1109/ICCA.2010.5524201