Reference

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