Specifying Various Time Models with Temporal Propositional Variables in Duration Calculus - Formal Methods and Hybrid Real-Time Systems - page 187

10. Van Hung, D., Ko Kwang Il,: Verification via Digitized Model of Real-Time Sys-
tems. In: Research Report 54, UNU-IIST, P.O.Box 3058, Macau, February 1996.
Published in the Proceedings of Asia-Pacific Software Engineering Conference 1996
(APSEC'96), pp. 4-15. IEEE Computer Society Press, Los Alamitos (1996)
11. Van Huong, H., Van Hung, D.: Modelling Real-time Database Systems in Duration
Calculus. Technical Report 260, UNU-IIST, P.O. Box 3058, Macau, September
2002. Presented at and published in the proceedings of the IASTED International
Conference on Databases and Applications (DBA 2004). In: Hamza, M.H. (ed.)
Innsbruck, Austria, February 17 - 19, 2004, pp. 37-42. ACTA Press (2004)
12. Jifeng, H.: A behavioural Model for Co-design. In: Woodcock, J.C.P., Davies, J.,
Wing, J.M. (eds.) FM 1999. LNCS, vol. 1709, pp. 1420-1439. Springer, Heidelberg
(1999)
13. Martin, F.: Synthesizing Controllers of Duration Calculus. In: Jonsson, B., Par-
row, J. (eds.) Formal Techniques in Real-Time and Fault-Tolerant Systems. LNCS,
vol. 1135, pp. 168-187. Springer, Heidelberg (1996)
14. Pandya, P.K., Krishna, S.N., Loya, K.: On Sampling Abstraction of Continuous
Time Logic with Duration Calculus. Technical Report TIFR-PKP-GM-2006/1,
Tata Institute of Fundamental Research, India (2006)
15. Pandya, P.K., Ramakrishna, Y.: A Recursive Duration Calculus. Technical Report
CS-95/3, TIFR, Mumbai (1995)