@inproceedings{FW061998,
               author = {F. Nascimento, W. Rosenstiel},
               title = {Co-Synthesis Using a Partial Order Based Model of Concurrency},
               booktitle = {Workshop on Design, Test and Applications},
               year = {1998},
               month = {06},
               address = {Dubrovnik, Croatia}
}