@mastersthesis{HeljankoMsc,
author = {Heljanko, Keijo},
school = {Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory},
title = {Model Checking the Branching Time Temporal Logic {C}{T}{L}},
year = {1997},
}