[{"text":"\n\nAspectJ Development Tools. http://www.eclipse.org/ajdt/.\n\n"},{"text":"\n\nAspectLTL website. http://aspectltl.ysaar.net/.\n\n"},{"text":"\n\n\nWouter De Borger , Bert Lagaisse , Wouter Joosen, A generic and reflective debugging architecture to support runtime visibility and traceability of aspects, Proceedings of the 8th ACM international conference on Aspect-oriented software development, March 02-06, 2009, Charlottesville, Virginia, USA   [doi>10.1145/1509239.1509263]\n\n","citation":"1509263","doi":"http://doi.acm.org/10.1145/1509239.1509263"},{"text":"\n\n\nJ. R. Burch , E. M. Clarke , K. L. McMillan , D. L. Dill , L. J. Hwang, Symbolic model checking: 1020 states and beyond, Information and Computation, v.98 n.2, p.142-170, June 1992   [doi>10.1016/0890-5401(92)90017-A]\n\n","citation":"162046"},{"text":"\n\n\nA. Cimatti , M. Roveri , V. Schuppan , A. Tchaltsev, Diagnostic information for realizability, Proceedings of the 9th international conference on Verification, model checking, and abstract interpretation, p.52-67, January 07-09, 2008, San Francisco, USA \n\n","citation":"1787535"},{"text":"\n\n\nAmy P. Felty , Kedar S. Namjoshi, Feature specification and automated conflict detection, ACM Transactions on Software Engineering and Methodology (TOSEM), v.12 n.1, p.3-27, January 2003   [doi>10.1145/839268.839270]\n\n","citation":"839270","doi":"http://doi.acm.org/10.1145/839268.839270"},{"text":"\n\n\nMax Goldman , Emilia Katz , Shmuel Katz, MAVEN: modular aspect verification and interference analysis, Formal Methods in System Design, v.37 n.1, p.61-92, November 2010   [doi>10.1007/s10703-010-0101-1]\n\n","citation":"1891379"},{"text":"\n\n\nJonathan D. Hay , Joanne M. Atlee, Composing features and resolving interactions, Proceedings of the 8th ACM SIGSOFT international symposium on Foundations of software engineering: twenty-first century applications, p.110-119, November 06-10, 2000, San Diego, California, USA   [doi>10.1145/355045.355061]\n\n","citation":"355061","doi":"http://doi.acm.org/10.1145/355045.355061"},{"text":"\n\n\nMichael Jackson , Pamela Zave, Distributed Feature Composition: A Virtual Architecture for Telecommunications Services, IEEE Transactions on Software Engineering, v.24 n.10, p.831-847, October 1998   [doi>10.1109/32.729683]\n\n","citation":"297281"},{"text":"\n\n \nEmilia Katz , Shmuel Katz, Incremental analysis of interference among aspects, Proceedings of the 7th workshop on Foundations of aspect-oriented languages, p.29-38, April 01-01, 2008, Brussels, Belgium   [doi>10.1145/1394496.1394500]\n\n","citation":"1394500","doi":"http://doi.acm.org/10.1145/1394496.1394500"},{"text":"\n\n\nShmuel Katz, Aspect categories and classes of temporal properties, Transactions on Aspect-Oriented Software Development I, Springer-Verlag, Berlin, Heidelberg, 2006 \n\n","citation":"2168346"},{"text":"\n\n\nVerification by augmented finitary abstraction, Information and Computation, v.163 n.1, p.203-243, Nov. 25, 2000   [doi>10.1006/inco.2000.3000]\n\n","citation":"358213"},{"text":"\n\nR. Könighofer, G. Hofferek, and R. Bloem. Debugging formal specifications using simple counterstrategies. In FMCAD, pages 152--159, 2009.\n\n"},{"text":"\n\n\nShriram Krishnamurthi , Kathi Fisler, Foundations of incremental aspect model-checking, ACM Transactions on Software Engineering and Methodology (TOSEM), v.16 n.2, p.7-es, April 2007   [doi>10.1145/1217295.1217296]\n\n","citation":"1217296","doi":"http://doi.acm.org/10.1145/1217295.1217296"},{"text":"\n\n\nHarry Li , Shriram Krishnamurthi , Kathi Fisler, Verifying cross-cutting features as open systems, Proceedings of the 10th ACM SIGSOFT symposium on Foundations of software engineering, November 18-22, 2002, Charleston, South Carolina, USA   [doi>10.1145/587051.587066]\n\n","citation":"587066","doi":"http://doi.acm.org/10.1145/587051.587066"},{"text":"\n\n\nZohar Manna , Amir Pnueli, The temporal logic of reactive and concurrent systems, Springer-Verlag New York, Inc., New York, NY, 1992 \n\n","citation":"128869"},{"text":"\n\n\nShahar Maoz , Yaniv Sa'ar, AspectLTL: an aspect language for LTL specifications, Proceedings of the tenth international conference on Aspect-oriented software development, March 21-25, 2011, Porto de Galinhas, Brazil   [doi>10.1145/1960275.1960280]\n\n","citation":"1960280","doi":"http://doi.acm.org/10.1145/1960275.1960280"},{"text":"\n\n\nNir Piterman , Amir Pnueli, Faster Solutions of Rabin and Streett Games, Proceedings of the 21st Annual IEEE Symposium on Logic in Computer Science, p.275-284, August 12-15, 2006   [doi>10.1109/LICS.2006.23]\n\n","citation":"1158064"},{"text":"\n\n\nNir Piterman , Amir Pnueli , Yaniv Sa'ar, Synthesis of reactive(1) designs, Proceedings of the 7th international conference on Verification, Model Checking, and Abstract Interpretation, p.364-380, January 08-10, 2006, Charleston, SC   [doi>10.1007/11609773_24]\n\n","citation":"2146252"},{"text":"\n\n\nAmir Pnueli, The temporal logic of programs, Proceedings of the 18th Annual Symposium on Foundations of Computer Science, p.46-57, September 30-October 31, 1977   [doi>10.1109/SFCS.1977.32]\n\n","citation":"1382534"},{"text":"\n\n\nA. Pnueli , R. Rosner, On the synthesis of a reactive module, Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.179-190, January 11-13, 1989, Austin, Texas, USA   [doi>10.1145/75277.75293]\n\n","citation":"75293","doi":"http://doi.acm.org/10.1145/75277.75293"},{"text":"\n\n\nAmir Pnueli , Yaniv Sa'ar , Lenore D. Zuck, JTLV: a framework for developing verification algorithms, Proceedings of the 22nd international conference on Computer Aided Verification, July 15-19, 2010, Edinburgh, UK   [doi>10.1007/978-3-642-14295-6_18]\n\n","citation":"2144333"},{"text":"\n\nSMV model checker. \\\\http://www.cs.cmu.edu/\\textasciitilde modelcheck/smv.html.\n\n"}]