Reference:

J. Esparza. A polynomial-time algorithm for checking consistency of free-choice signal transition graphs. In Balarin J. Lilius, F and R.J. Machado, editors, Proceedings of the 3rd International Conference on Application of Concurrency to System Design (ACSD 2003), pages 61–70, Guimaraes, Portugal, June 2003. IEEE Computer Society. ISBN 0-7695-1887-7.

Suggested BibTeX entry:

@inproceedings{Esp03,
    address = {Guimaraes, Portugal},
    author = {J. Esparza},
    booktitle = {Proceedings of the 3rd International Conference on Application of Concurrency to System Design (ACSD 2003)},
    editor = {J. Lilius, F, Balarin and R.J. Machado},
    month = {June},
    note = {ISBN 0-7695-1887-7},
    pages = {61--70},
    publisher = {IEEE Computer Society},
    title = {A Polynomial-Time Algorithm for Checking Consistency of Free-Choice Signal Transition Graphs},
    year = {2003}
}