@INCOLLECTION{MM2013a,
  author = {Mallet, Frédéric and Millo, Jean-Viven},
  title = {Boundness Issues in CCSL Specifications},
  booktitle = {Formal Methods and Software Engineering},
  publisher = {Springer Berlin Heidelberg},
  year = {2013},
  editor = {Groves, Lindsay and Sun, Jing},
  volume = {8144},
  series = {Lecture Notes in Computer Science},
  pages = {20-35},
  doi = {10.1007/978-3-642-41202-8_3},
  isbn = {978-3-642-41201-1},
  keywords = {Logical Time; Architecture-driven analysis; UML MARTE; Reachability
	analysis},
  url = {http://dx.doi.org/10.1007/978-3-642-41202-8_3}
}