@Book{BK08,
author={C. Baier and J.-P. Katoen},
title={Principles of Model Checking},
publisher={MIT Press},
year={2008},

volume={},
series={},
address={},
edition={},
month={},
note={},
key={}
}