Opeyemi O. Adesina, Timothy C. Lethbridge, Stéphane S. Somé, Vahdat Abdelzad, Alvine Boaye Belle. Improving formal analysis of state machines with particular emphasis on and-cross transitions. Computer Languages, Systems \& Structures, 54:544-585, 2018. [doi]
Abstract is missing.