\input zb-basic \input zb-ioport \iteman{io-port 70218680} \itemau{De Boer, Frank S.; Gabbrielli, Maurizio} \itemti{Modeling real-time in concurrent constraint programming} \itemso{GULP-PRODE, 101-112 (1995).} \itemcc{} \itemut{} \itemli{} \end