@incollection{Moy05b,
title = { Chapter 5.9, Formal Verification },
author = {Moy, Matthieu},
year = {2005},
booktitle = {Transaction-Level Modeling with {SystemC}. {TLM} Concepts and Applications for Embedded Systems},
pages = {190--206},
publisher = {Springer},
team = {SYNC},
}