Shriram Krishnamurthi Kathi Fisler Foundations of incremental aspect model-checking. 2007 16 ACM Trans. Softw. Eng. Methodol. 2 http://doi.acm.org/10.1145/1217295.1217296 db/journals/tosem/tosem16.html#KrishnamurthiF07