@techreport{TR-03-03,
 author = {Ivana Černá and  Radek Pelánek},
 institution = {Faculty of Informatics, Masaryk University},
 number = {FIMU-RS-2003-03},
 title = {Relating Hierarchy of Temporal Properties to Model Checking},
 year = {2003}
}