There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.
This paper outlines an approach to extending B AMN to support concurrent specification,
using a combination of linear temporal logic and Ada style task definitions. The extension
is applied to the “production cell” case study.