An examination of requirements specification languages

Guidelines for embedded software documentation

ACM SIGSOFT Software Engineering Notes

The Application of the Unified Modeling Language in Object-Oriented Analysis of Healthcare Information Systems

Journal of Medical Systems

Achieving closed-loop control simulation of human-artefact interaction: a comparative review

Modelling and Simulation in Engineering

Dialogue graphs: a formal and visual specification technique for dialogue modelling

FAC-FA'96 Proceedings of the 1996 BCS-FACS conference on Formal Aspects of the Human Computer Interface

Theoretical underpinning and prototype implementation of scenario bundle-based logical control for simulation of human-artifact interaction

Computer-Aided Design