Borger, E. and Stark, R. (2003) Abstract State Machines: A Method for High-Level System Design and Analysis. In: Science and Business Media, Springer, Berlin.
https://doi.org/10.1007/978-3-642-18216-7

has been cited by the following article:

• TITLE: Evaluation of Selected Control Programming Languages for Process Engineers by Means of Cognitive Effectiveness and Dimensions

  AUTHORS: Gülden Bayrak, Felix Ocker, Birgit Vogel-Heuser

  KEYWORDS: Cognition, Cognitive Science, Graphical User Interfaces, Human Computer Interaction, Human Factors, Programmable Logic Controllers, Process Control

  JOURNAL NAME: Journal of Software Engineering and Applications, Vol.10 No.5, May 26, 2017

  ABSTRACT: Different programming languages can be used for discrete, abstract and process-oriented programming. Depending on the application, there exist additional requirements, which are not fulfilled by every programming language. Flexible programming and maintainability are especially important requirements for process engineers. In this paper, the programming languages Activity Diagram, State Chart Diagram and Sequential Function Chart are compared and evaluated with regard to these requirements. This evaluation is based on the principles of cognitive effectiveness and cognitive dimensions. The aim of this paper is to identify the programming language suited best for controlling sequential processes, e.g. thermomechanical or batch processes.