@misc(OSEK/VDX:Portal,
 title        = "{OSEK/VDX} Portal",
 note         = "Http://portal.osek-vdx.org",
)
@misc(SquishCoco,
 title        = "Squish Coco Code Coverage",
 note         = "Http://www.froglogic.com/squish/coco/",
)
@misc(Trampoline:Portal,
 title        = "Trampoline -- OpenSource {RTOS} project",
 note         = "Http://trampoline.rts-software.org",
)
@misc(Understand,
 title        = "Understand: Source Code Analysis and Metrics",
 note         = "Http://www.scitools.com/",
)
@article(Binkley99,
 author       = "David Binkley",
 year         = "1999",
 title        = "The Application of Program Slicing to Regression Testing",
 journal      = "Information and Software Technology",
 pages        = "583--594",
 doi          = "10.1016/S0950-5849(98)00085-8",
)
@inproceedings(Broy:2006,
 author       = "Manfred Broy",
 year         = "2006",
 title        = "Challenges in automotive software engineering",
 booktitle    = "Proceedings of the 28th International Conference on Software Engineering",
 doi          = "10.1145/1134285.1134292",
)
@inproceedings(Chebaro:SANTE,
 author       = "Omar Chebaro and Nikolai Kosmatov and Alain Giorgetti and Jacques Julliand",
 year         = "2012",
 title        = "Program slicing enhances a verification technique combining static and dynamic analysis",
 booktitle    = "Proceedings of the 27th Annual ACM Symposium on Applied Computing",
 pages        = "1284--1291",
 doi          = "10.1145/2245276.2231980",
)
@inproceedings(Chen:APSEC11,
 author       = "Jiang Chen and Toshiaki Aoki",
 year         = "2011",
 title        = "Conformance Testing for {OSEK/VDX} Operating System Using Model Checking",
 booktitle    = "18th Asia-Pacific Software Engineering Conference",
 doi          = "10.1109/APSEC.2011.26",
)
@inproceedings(CBMC:TACAS04,
 author       = "Edmund Clarke and Daniel Kroening and Flavio Lerda",
 year         = "2004",
 title        = "A Tool for Checking {ANSI-C} Programs",
 booktitle    = "10th International Conference on Tools and Algorithms for the Construction and Analysis of Systems",
 doi          = "10.1007/978-3-540-24730-2\_15",
)
@book(ModelCheckingBook,
 author       = "Edmund M. Clarke and Orna Grumberg and Doron Peled",
 year         = "1999",
 title        = "{Model Checking}",
 publisher    = "MIT Press",
)
@inproceedings(Dwyer:FSE98,
 author       = "Matthew Dwyer and Corina Pasareanu",
 year         = "1998",
 title        = "Filter-Based Model Checking of Partial Systems",
 booktitle    = "6th {ACM} {SIGSOFT} International symposium on Foundations of Software Engineering",
 pages        = "189--202",
 doi          = "10.1145/288195.288307",
)
@inproceedings(GP02,
 author       = "Dimitra Giannakopoulou and Corina S. Pasareanu and Howard Barringer",
 year         = "2002",
 title        = "Assumption Generation for Software Component Verification",
 booktitle    = "17th IEEE International Conference on Automated Software Engineering",
 pages        = "3--12",
 doi          = "10.1109/ASE.2002.1114984",
)
@article(Gupta:FMSD08,
 author       = "A. Gupta and K.L.McMillan and Z. Fu",
 year         = "2008",
 title        = "Automated Assumption Generation for Compositional Verification",
 journal      = "Formal Methods in System Design",
 volume       = "32",
 pages        = "285--301",
 doi          = "10.1007/978-3-540-73368-3\_45",
)
@inproceedings(Gupta92anapproach,
 author       = "Rajiv Gupta and Mary Jean Harrold and Mary Lou Soffa",
 year         = "1992",
 title        = "An Approach to Regression Testing using Slicing",
 booktitle    = "Proceedings of the Conference on Software Maintenance",
 pages        = "299--308",
 doi          = "10.1109/ICSM.1992.242531",
)
@inproceedings(He:ICCD07,
 author       = "Nannan He and Michael S. Hsiao",
 year         = "2007",
 title        = "Bounded Model Checking of Embedded Software in Wireless Cognitive Radio Systems",
 booktitle    = "25th International Conference on Computer Design",
 pages        = "19--24",
 doi          = "10.1109/ICCD.2007.4601875",
)
@book(SPINBOOK,
 author       = "Gerard J. Holzmann",
 year         = "2003",
 title        = "The {\sc SPIN} Model Checker: Primer and Reference Manual",
 publisher    = "Addison-Wesley Publishing Company",
)
@inproceedings(IS02,
 author       = "Natalia Ioustinova and Natalia Sidorova",
 year         = "2002",
 title        = "Abstraction and Flow Analysis for Model Checking Open Asynchronous Systems",
 booktitle    = "Proceedings of the Ninth Asia-Pacific Software Engineering Conference",
 doi          = "10.1109/APSEC.2002.1182992",
)
@article(Moessinger:IEEEsoftware10,
 author       = "J$\mathaccent "707F\relax {u}$rgen M$\mathaccent "707F\relax {o}$ssinger",
 year         = "2010",
 title        = "Software in Automotive Systems",
 journal      = "IEEE Software",
 volume       = "27",
 number       = "2",
 pages        = "92--94",
 doi          = "10.1109/MS.2010.55",
)
@article(Nam:FMSD08,
 author       = "Wonhong Nam and P. Madhusudan and Rajeev Alur",
 year         = "2008",
 title        = "Automatic symbolic compositional verification by learning assumptions",
 journal      = "Formal Methods in System Design",
 doi          = "10.1007/s10703-008-0055-8",
)
@inproceedings(HP93,
 author       = "Pascal Raymond Nicolas Halbwachs, Fabienne Lagnier",
 year         = "1993",
 title        = "{Synchronous Observers and the Verification of Reactive Systems}",
 booktitle    = "Third International Conference on Algebraic Methodology and Software Technology, AMAST'93",
)
@inproceedings(Parizek:EUROMICRO07,
 author       = "Pavel Parizek and Frantisek Plasil",
 year         = "2007",
 title        = "Partial Verification of Software Components: Heuristics for Environment Construction",
 booktitle    = "33rd {EUROMICRO} Conference on Software Engineering and Advanced Applications",
 doi          = "10.1109/EUROMICRO.2007.46",
)
@article(Penix:FMSD05,
 author       = "John Penix and Willem Visser and Seungjoon Park and Corina Pasareanu and Eric Engstrom and Aaron Larson and Nicholas Weininger",
 year         = "2005",
 title        = "Verifying Time Partitioning in the {DEOS} Scheduling Kernel",
 journal      = "Formal Methods in Systems Design Journal",
 volume       = "26",
 number       = "2",
 pages        = "103--135",
 doi          = "10.1007/s10703-005-1490-4",
)
@inproceedings(TDP03,
 author       = "O. Tkachuk and M.B. Dwyer and C.S. Pasareanu",
 year         = "2003",
 title        = "Automated Environment Generation for Software Model Checking",
 booktitle    = "18th IEEE International Conference on Automated Software Engineering",
 pages        = "116--129",
 doi          = "10.1109/ASE.2003.1240300",
)
@article(Weiser84,
 author       = "M. Weiser",
 year         = "1984",
 title        = "Program Slicing",
 journal      = "IEEE Transactions on Software Engineering",
 volume       = "SE-10",
 number       = "4",
 pages        = "352--357",
 doi          = "10.1109/TSE.1984.5010248",
)
@inproceedings(Yatake:SPIN10,
 author       = "Kenro Yatake and Toshiaki Aoki",
 year         = "2010",
 title        = "Automatic Generation of Model Checking Scripts based on Environment Modeling",
 booktitle    = "17th International {SPIN} Conference on Software Model Checking",
 doi          = "10.1007/978-3-642-16164-3\_5",
)