참고문헌
- 이희웅, 최진영, Virtual Prototyping이란?, 전자공학회지 25권 2호, 1998.
- David Harel, Statechart: A Visual Formalism For Complex Systems, Science of Computer Programming, 1987. https://doi.org/10.1016/0167-6423(87)90035-9
- Erich Mikk, Yassine Lakhnech and Michael Siegel, Hierarchical automata as model for statechart.
- Nancy Day, A Model Checker for Statecharts, 1993.
- W.Chan, et. al., c, IEEE Transaction on Software Engineering, vol. 24, no.7, pp.498-519, july 1998 https://doi.org/10.1109/32.708566
- Andrew C. Uselton and Scott A. smolka, A Process Algebraic Semantics for Statecharts via State Refinement, 1994.
- Andrew C. Uselton and Scott A. Smolka, A Compositional Semanitcs for Statecharts using Labeled Transition Systems, LNCS 836, Springer, 1994. https://doi.org/10.1007/BFb0014994
- Andrea Maggiolo-Schettini, A. Peron and S. Tini, Equivalences of Statecharts, In Proc. of CONCUR 96. LNCS 1119, 1996.
- Jin-Young Choi and Insup Lee, A Process Algebraic Method for the Specification and Analysis of Real-Time Systems, Formal Methods for Real-Time Computing, 1996.
- Jin-Young Choi and Inhye Kang, Translation of Modechart Specification to Algebra of Communicating Shared Resources, Proceedings of the first International Workshop on Real-Time Computing Systems and Applications, 1994.
- David Harel and Michal Politi, Modeling Reactive Systems with Statecharts, McGraw-Hill, 1998.
- R. Milner, Communication and Concurrency, Prentice-Hall, 1989.
- I. Lee, H. Ben-Abdallah, J. Y Choi, 'A Process Algebraic Method for the Specification and Analysis of Real-Time Systems,' Formal Methods for Real-Time Computing, edited by C. Heitmeyer and D. Mandrioli, WILEY, 1996.
- David Harel and Amnon Naamad, The Statemate Semantics of Statecharts, ACM Trans. Soft. Method, 1996. https://doi.org/10.1145/235321.235322
- C. Mead and L. Conway, Introduction to VLSI Systems, Addison-Wesley
- Duncan Clarke, VERSA: Verification, Execution and Rewrite System for ACSR, Real-Time Group Report, 1998.
- Gerald J. Holzmann, 'The Model Checker SPIN?,' IEEE Transactions on Software Engineering, VOL. 23, NO 5, pp279 - 295, MAY 1997. https://doi.org/10.1109/32.588521
- Kenneth L. McMillan, SYMBOLIC MODEL CHECKING, Kluwer Academic Publisher 1993.
- E. Mikk, Y. Lakhnech and M. Siegel, Hierarchical automata as model for statechart.