Aspect-Oriented Formal Specification for Real-Time Systems - Advances in Computational Science and Engineering - page 31

12. Blair, L., Blair, G.S., Bowman, H., Chetwynd, A.G.: Formal Specification and Verification
of Multimedia Systems in Open Distributed Processing. Computer Standards and Inter-
faces 17, 413-436 (1995)
13. Katara, M., Mikkonen, T.: Aspect-oriented specification architectures for distributed
real-time systems. In: Andler, S.F., Hinchey, M.G., Offutt, J. (eds.) Proceedings of the
Seventh IEEE International Conference on Engineering of Complex Computer Systems,
ICECCS 2001. IEEE Computer Society Press, Los Alamitos (2001)
14. InformationTechnology E-LOTOS,
http://lotos.site.uottawa.ca/ftp/pub/Lotos/Intro/
FDIS15437.pdf
15. Blair, L.: Formal Specification and Verification of Distributed Multimedia Systems,
PhD Thesis. Dept. of Computing, Lancaster University,Bailrigg, Lancaster, LA1 4YR, UK
(1995)
16. Blair, G.S., Coulson, G., Papathomas, M., Robin, P., Stefani, J.B., Horn, F., Hazard, L.:
A Programming Model and System Infrastructure for Real-Time Synchronisation in
Distributed Multimedia Systems. Journal of Selected Areas in Communications (JSAC),
Special Issue of Multimedia Synchronisation 14(1), 249-263 (1996)
17. Blair, G.S., Blair, L., Bowman, H., Chetwynd, A.: Formal Specification of Distributed
Multimedia Systems. UCL Press (1997) (in press)
18. leduc, G.: Multimedia in the E-LOTOS process algebra. Formal methods for distributed
processing: a survey of object-oriented approaches, 357-372 (2001)
19. Bowman, H., Blair, G.S., Blair, L., Chetwynd, A.G.: Time versus Abstraction in Formal
Description. In: Tenney, R.L., Amer, P.D., ÜmitUyar, M. (eds.) Proceedings of the 6th
International Conference on Formal Description Techniques (FORTE 1993), pp. 467-482.
Elsevier Science B.V., North-Holland, IFIP (1994)
20. Bowman, H., Blair, L., Blair, G.S., Chetwynd, A.: A Formal Description Technique
|Supporting Quality of Service and Media Synchronisation. In: Leopold, H., Coulson, G.,
Danthine, A., Hutchison, D. (eds.) COST-237 1994. LNCS, vol. 882. Springer, Heidelberg
(1994)
21. Jahanian, F., Mok, A.K.: Safety Analysis of Timing Properties in Realtime Systems. IEEE
Transactions on Software Engineering, 890-904 (September 1986)
22. Nicollin, X., Sifakis, J.: An Overview and Synthesis on Timed Process Algebras. In:
Larsen, K.G., Skou, A. (eds.) CAV 1991. LNCS, vol. 575, pp. 526-548. Springer,
Heidelberg (1992)
23. Ostroff, J.S.: Verification of Safety Critical Systems Using TTM/RTTL. In: de Bakker,
J.W., Huizing, C., de Roever, W.P., Rozenberg, G. (eds.) REX 1991. LNCS, vol. 600,
pp. 573-602. Springer, Heidelberg (1992)
24. Pnueli, A.: The Temporal Logic of Programs. In: Proceedings of the 18th Annual Sympo-
sium on Foundations of Computer Science, pp. 46-57 (1977)
25. Reed, G.M., Roscoe, A.W.: A Timed Model for Communicating Sequential Processes.
Theoretical Computer Science 58, 249-261 (1988)
26. Regan, T.: Process Algebra for Real-Time Systems, PhD Thesis, Available from: Dept. of
Computer Science, School of Cognitive and Computing Sciences,University of Sussex,
Brighton, BN1 9QH (September 1991)
27. Edwards, J.: Modelling the ABP,
http://www.cs.bris.ac.uk/~edwards/prep2001/html/node16.html
28. Bernado, M., et al.: A Stochastic Process Algebra Model for the Analysis of the Alternat-
ing Bit Protocol. In: The proceedings of the 11th International Symposium on Computer
and Information Sciences (1996)