@inproceedings{VE:modcpb,
  author =	{J\"{u}ri Vain and Juhan Ernits},
  editor =  {E. F. Camacho and L. Basenez and J. A. {De La Puenta}},
  title =	{Model checking in pattern based control systems design},
  booktitle =	{Proceedings of the 15th {IFAC} World Congress: Computers for Control},
  year =	{2003},
  volume = {L}
  organization =	{{IFAC}},
  publisher =	{Elsevier},
  isbn = 	{0080442277},
  pages = 	 {237--241}
}