@inproceedings{hierarchy-mfcs,
 author = {Ivana Černá and Radek Pelánek},
 booktitle = {Mathematical Foundations of Computer 
Science (MFCS)},
 pages = {318 - 327},
 publisher = {Springer},
 series = {LNCS},
 title = {Relating Hierarchy of Temporal Properties 
to Model Checking},
 volume = {2747},
 year = {2003}
}