Open Access
MATEC Web of Conferences
Volume 35, 2015
2015 4th International Conference on Mechanics and Control Engineering (ICMCE 2015)
Article Number 03003
Number of page(s) 5
Section Computer theory and application
Published online 16 December 2015
  1. Sifakis, J., Modeling Real-Time Systems-Challenges and Work Directions, in Proceedings of the First International Workshop on Embedded Software. (2001), Springer-Verlag. p. 373–389.
  2. Dill, D. L., Timing Assumptions and Verification of Finite-State Concurrent Systems, in Proceedings of the International Workshop on Automatic Verification Methods for Finite State Systems. 1990, Springer-Verlag. p. 197–212.
  3. Ostroff, J. S., Temporal logic for real time systems. (1989): John Wiley & Sons, Inc. 209.
  4. Henzinger, T. A., Manna, Z., and Pnueli, A., Temporal proof methodologies for real-time systems. (1991), Stanford University.
  5. Baier, C. and Katoen, J. -P., Principles of Model Checking (Representation and Mind Series). (2008): The MIT Press. 975.
  6. Holzmann, G., The SPIN Model Checker: Primer and Reference Manual. (2011): Addison-Wesley Professional. 608.
  7. Thomas, W., Automata on infinite objects, in Handbook of theoretical computer science (vol. B), Jan van, L., Editor. (1990), MIT Press. p. 133–191.
  8. Alur, R. and Dill, D. L., Automata for modeling real-time systems, in Proceedings of the seventeenth international colloquium on Automata, languages and programming. (1990), Springer-Verlag New York, Inc. : Warwick University, England. p. 322–335.
  9. Alur, R. and Dill, D. L., A theory of timed automata. Theor. Comput. Sci., (1994). 126(2): p. 183–235. [CrossRef] [MathSciNet]
  10. Bouyer, P., et al., Timed Modal Logics for Real-Time Systems. J. of Logic, Lang. and Inf., (2011). 20(2): p. 169–203. [CrossRef]
  11. Wilhelm, R., et al., The worst-case execution-time problem—overview of methods and survey of tools. ACM Trans. Embed. Comput. Syst., (2008). 7(3): p. 1–53. [CrossRef]
  12. Holzmann, G. J., Design and validation of computer protocols. (1991): Prentice-Hall, Inc. 500.
  13. Holzmann, G. J., Design and validation of protocols: a tutorial. Comput. Netw. ISDN Syst., (1993). 25(9): p. 981–1017. [CrossRef]
  14. Mihai Florian, E. G., Gerard Holzmann., Logic Model Checking of Time-Periodic Real-Time System. in Aerospace 2012 Conference. (2012).
  15. Tripakis, S. and C. Courcoubetis, Extending Promela and Spin for Real Time, in Proceedings of the Second International Workshop on Tools and Algorithms for Construction and Analysis of Systems. (1996), Springer-Verlag. p. 329–348.
  16. Bosnacki, D. and Dams, D., Integrating Real Time into Spin: A Prototype Implementation, in Proceedings of the FIP TC6 WG6. 1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing and Verification (PSTV XVIII). (1998), Kluwer, B. V. p. 423–438.
  17. Bosnacki, D., Partial Order Reduction in Presence of Rendez-vous Communications with Unless Constructs and Weak Fairness, in Proceedings of the 5th and 6th International SPIN Workshops on Theoretical and Practical Aspects of SPIN Model Checking. (1999), Springer-Verlag. p. 40–56.