@incollection{Dhaussy12,
author = {Philippe Dhaussy and Jean-Charles Roger and Frédéric Boniol},
title = {Context Aware Model-Checking for Embedded Software},
booktitle = {Embedded Systems},
publisher = {IntechOpen},
address = {Rijeka},
year = {2012},
editor = {Kiyofumi Tanaka},
chapter = {8},
doi = {10.5772/37975},
url = {https://doi.org/10.5772/37975}
}