@phdthesis{Strejcek2004Thesis,
 author = {Jan Strejček},
 school = {{M}asaryk {U}niversity {B}rno, {F}aculty of {I}nformatics},
 title = {{Linear Temporal Logic: Expressiveness and Model Checking}},
 year = {2004}
}