Reference

2017
Abstracting Event-Driven Systems with Lifestate Rules
Technical Report (arXiv:1701.00161)