@INPROCEEDINGS{Nielsen98specificationof, author = {Brian Nielsen and Shangping Ren and Gul Agha}, title = {Specification of Real-Time Interaction Constraints}, booktitle = {Proc. of First Int. Symposium on Object-Oriented Real-Time Computing, IEEE Computer Society}, year = {1998}, pages = {206--214}, publisher = {IEEE Computer Society Press} }