Towards Expressive Specification and Efficient Model Checking. - Dong, Jin Song; Sun, Jun (2009)