selected publications academic article Parallel composition of nondeterministic Finite State Machines with Timeouts. . 2014