Q: A Sound Verification Framework for Statecharts and Their Implementations. - Samuel D. Pollard; Robert C. Armstrong; John Bender; Geoffrey C. Hulette; Raheel S. Mahmood; Karla Morris; Blake C. Rawlings; Jon M. Aytac (FTSCS, 2022)