Stately: An FSM Design Tool. - Pope, Jeremy; Saget, Jules; Seger, Carl-Johan (18th ACM-IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2020, Virtual, Jaipur, India 2020 18th ACM-IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2020, 2020)