Sci. Comput. Program.

Website
Periodicity

Articles

Harel, David (1987): Statecharts: A Visual Formalism for Complex Systems. In Sci. Comput. Program., 8 (3) pp. 231-274.