@inproceedings{
    LauHelJun:ACSD10,
    author = "Launiainen, Tuomas and Heljanko, Keijo and Junttila, Tommi",
    juforank = "1",
    title = "Efficient Model Checking of {PSL} Safety Properties",
    ee = "http://dx.doi.org/10.1109/ACSD.2010.27",
    booktitle = "Proceedings of the 10th International Conference on Application of Concurrency to System Design (ACSD'2010)",
    address = "Braga, Portugal",
    corerank = "B",
    month = "June",
    responsibleauthor = "Launiainen, Tuomas",
    url = "http://dx.doi.org/10.1109/ACSD.2010.27",
    flags = "copy StMcDes DC",
    year = "2010",
    impactfactor = "A4",
    pages = "95--104"
}