@INPROCEEDINGS{BCMT08,
  title = {{Model Checking Biological Oscillators}},
  author = {Bartocci, Ezio and Corradini, Flavio and Merelli, Emanuela and Tesei, Luca},
  booktitle = {In the proceedings of the 2th From Biology To Concurrency International Workshop (FBTC'08), Reykjavik, Island, July, 2008},
  pages = {41-58},
  series = {Electronic Notes in Theoretical Computer Science},
  volume = {229},
  number = {1},
  year = {2009},
}