Abstracting Event-Driven Systems with Lifestate Rules. - Shawn Meier; Aleksandar Chakarov; Maxwell Russek; Sergio Mover; Bor-Yuh Evan Chang (CoRR, 2017)