@inproceedings{conf/spin/LeueSW08,
	title = {Dependency Analysis for Control Flow Cycles in Reactive Communicating Processes.},
	author = {Stefan Leue and Alin Stefanescu and Wei Wei},
	booktitle = {SPIN},
	crossref = {conf/spin/2008},
	editor = {Klaus Havelund and Rupak Majumdar and Jens Palsberg},
	pages = {176-195},
	publisher = {Springer},
	series = {Lecture Notes in Computer Science},
	url = {http://dblp.uni-trier.de/db/conf/spin/spin2008.html#LeueSW08},
	volume = {5156},
	year = {2008},
	biburl = {http://www.bibsonomy.org/bibtex/2c28db27b07faa98c7f7932d179ef4003/dblp},
	description = {dblp},
	date = {2008-08-19}, ee = {http://dx.doi.org/10.1007/978-3-540-85114-1_14}, isbn = {978-3-540-85113-4},
	keywords = {dblp }
}

@inproceedings{conf/tools/LeueSW08,
	title = {An AsmL Semantics for Dynamic Structures and Run Time Schedulability in UML-RT.},
	author = {Stefan Leue and Alin Stefanescu and Wei Wei},
	booktitle = {TOOLS (46)},
	crossref = {conf/tools/46-2008},
	editor = {Richard F. Paige and Bertrand Meyer},
	pages = {238-257},
	publisher = {Springer},
	series = {Lecture Notes in Business Information Processing},
	url = {http://dblp.uni-trier.de/db/conf/tools/tools46-2008.html#LeueSW08},
	volume = {11},
	year = {2008},
	biburl = {http://www.bibsonomy.org/bibtex/2c3905d6f8ac1812376f20b1b4a455249/dblp},
	description = {dblp},
	date = {2008-08-08}, ee = {http://dx.doi.org/10.1007/978-3-540-69824-1_14}, isbn = {978-3-540-69823-4},
	keywords = {dblp }
}

@inproceedings{conf/fmics/WhalenCMKS07,
	title = {Integration of Formal Analysis into a Model-Based Software Development Process.},
	author = {Michael W. Whalen and Darren D. Cofer and Steven Miller and Bruce H. Krogh and Walter Storm},
	booktitle = {FMICS},
	crossref = {conf/fmics/2007},
	editor = {Stefan Leue and Pedro Merino},
	pages = {68-84},
	publisher = {Springer},
	series = {Lecture Notes in Computer Science},
	url = {http://dblp.uni-trier.de/db/conf/fmics/fmics2007.html#WhalenCMKS07},
	volume = {4916},
	year = {2007},
	biburl = {http://www.bibsonomy.org/bibtex/203590d58cf9d2696d35290768db45482/dblp},
	description = {dblp},
	date = {2008-06-24}, ee = {http://dx.doi.org/10.1007/978-3-540-79707-4_7}, isbn = {978-3-540-79706-7},
	keywords = {dblp }
}

@inproceedings{conf/fmics/GesellensetterGS07,
	title = {Formal Verification with Isabelle/HOL in Practice: Finding a Bug in the GCC Scheduler.},
	author = {Lars Gesellensetter and Sabine Glesner and Elke Salecker},
	booktitle = {FMICS},
	crossref = {conf/fmics/2007},
	editor = {Stefan Leue and Pedro Merino},
	pages = {85-100},
	publisher = {Springer},
	series = {Lecture Notes in Computer Science},
	url = {http://dblp.uni-trier.de/db/conf/fmics/fmics2007.html#GesellensetterGS07},
	volume = {4916},
	year = {2007},
	biburl = {http://www.bibsonomy.org/bibtex/2f393ea535a7a88aba7371b8e61667daa/dblp},
	description = {dblp},
	date = {2008-06-24}, ee = {http://dx.doi.org/10.1007/978-3-540-79707-4_8}, isbn = {978-3-540-79706-7},
	keywords = {dblp }
}

@inproceedings{conf/fmics/GoubaultPBG07,
	title = {Static Analysis of the Accuracy in Control Systems: Principles and Experiments.},
	author = {Eric Goubault and Sylvie Putot and Philippe Baufreton and Jean Gassino},
	booktitle = {FMICS},
	crossref = {conf/fmics/2007},
	editor = {Stefan Leue and Pedro Merino},
	pages = {3-20},
	publisher = {Springer},
	series = {Lecture Notes in Computer Science},
	url = {http://dblp.uni-trier.de/db/conf/fmics/fmics2007.html#GoubaultPBG07},
	volume = {4916},
	year = {2007},
	biburl = {http://www.bibsonomy.org/bibtex/2f26c19383034b1b70862bbf9734d264a/dblp},
	description = {dblp},
	date = {2008-06-24}, ee = {http://dx.doi.org/10.1007/978-3-540-79707-4_3}, isbn = {978-3-540-79706-7},
	keywords = {dblp }
}

@inproceedings{conf/fmics/PaivaFM07,
	title = {Reverse Engineered Formal Models for GUI Testing.},
	author = {Ana C. R. Paiva and João C. P. Faria and Pedro M. C. Mendes},
	booktitle = {FMICS},
	crossref = {conf/fmics/2007},
	editor = {Stefan Leue and Pedro Merino},
	pages = {218-233},
	publisher = {Springer},
	series = {Lecture Notes in Computer Science},
	url = {http://dblp.uni-trier.de/db/conf/fmics/fmics2007.html#PaivaFM07},
	volume = {4916},
	year = {2007},
	biburl = {http://www.bibsonomy.org/bibtex/214b3f9d75d7ddaaf4f8494dcccf24fc1/dblp},
	description = {dblp},
	date = {2008-06-24}, ee = {http://dx.doi.org/10.1007/978-3-540-79707-4_16}, isbn = {978-3-540-79706-7},
	keywords = {dblp }
}

@inproceedings{conf/fmics/RangarajanC07,
	title = {Computing Worst-Case Response Times in Real-Time Avionics Applications.},
	author = {Murali Rangarajan and Darren D. Cofer},
	booktitle = {FMICS},
	crossref = {conf/fmics/2007},
	editor = {Stefan Leue and Pedro Merino},
	pages = {101-114},
	publisher = {Springer},
	series = {Lecture Notes in Computer Science},
	url = {http://dblp.uni-trier.de/db/conf/fmics/fmics2007.html#RangarajanC07},
	volume = {4916},
	year = {2007},
	biburl = {http://www.bibsonomy.org/bibtex/28f727ffc27c993bdcdadc59536e5242f/dblp},
	description = {dblp},
	date = {2008-06-24}, ee = {http://dx.doi.org/10.1007/978-3-540-79707-4_9}, isbn = {978-3-540-79706-7},
	keywords = {dblp }
}

@inproceedings{conf/fmics/BergSW07,
	title = {Introducing Time in an Industrial Application of Model-Checking.},
	author = {Lionel van den Berg and Paul A. Strooper and Kirsten Winter},
	booktitle = {FMICS},
	crossref = {conf/fmics/2007},
	editor = {Stefan Leue and Pedro Merino},
	pages = {56-67},
	publisher = {Springer},
	series = {Lecture Notes in Computer Science},
	url = {http://dblp.uni-trier.de/db/conf/fmics/fmics2007.html#BergSW07},
	volume = {4916},
	year = {2007},
	biburl = {http://www.bibsonomy.org/bibtex/25e5ef8af10dec3f3d87869051eba3a9b/dblp},
	description = {dblp},
	date = {2008-06-24}, ee = {http://dx.doi.org/10.1007/978-3-540-79707-4_6}, isbn = {978-3-540-79706-7},
	keywords = {dblp }
}

@inproceedings{conf/fmics/SchlichLK07,
	title = {Application of Static Analyses for State Space Reduction to Microcontroller Assembly Code.},
	author = {Bastian Schlich and Jann Löll and Stefan Kowalewski},
	booktitle = {FMICS},
	crossref = {conf/fmics/2007},
	editor = {Stefan Leue and Pedro Merino},
	pages = {21-37},
	publisher = {Springer},
	series = {Lecture Notes in Computer Science},
	url = {http://dblp.uni-trier.de/db/conf/fmics/fmics2007.html#SchlichLK07},
	volume = {4916},
	year = {2007},
	biburl = {http://www.bibsonomy.org/bibtex/243e8587be9e026543190d8660382ab1b/dblp},
	description = {dblp},
	date = {2008-06-24}, ee = {http://dx.doi.org/10.1007/978-3-540-79707-4_4}, isbn = {978-3-540-79706-7},
	keywords = {dblp }
}

@inproceedings{conf/fmics/Alba-CastroAE07,
	title = {Automatic Certification of Java Source Code in Rewriting Logic.},
	author = {Mauricio Alba-Castro and María Alpuente and Santiago Escobar},
	booktitle = {FMICS},
	crossref = {conf/fmics/2007},
	editor = {Stefan Leue and Pedro Merino},
	pages = {200-217},
	publisher = {Springer},
	series = {Lecture Notes in Computer Science},
	url = {http://dblp.uni-trier.de/db/conf/fmics/fmics2007.html#Alba-CastroAE07},
	volume = {4916},
	year = {2007},
	biburl = {http://www.bibsonomy.org/bibtex/2fb566538f5f1f656a2d244c60e1212b2/dblp},
	description = {dblp},
	date = {2008-06-24}, ee = {http://dx.doi.org/10.1007/978-3-540-79707-4_15}, isbn = {978-3-540-79706-7},
	keywords = {dblp }
}