Gavin J. Doherty, Mieke Massink, Giorgio P. Faconti. Using Hybrid Automata to Support Human Factors Analysis in a Critical System. Formal Methods in System Design, 19(2):143-164, 2001.
@article{DohertyMF01,
title = {Using Hybrid Automata to Support Human Factors Analysis in a Critical System},
author = {Gavin J. Doherty and Mieke Massink and Giorgio P. Faconti},
year = {2001},
tags = {analysis, human factors},
researchr = {https://researchr.org/publication/DohertyMF01},
cites = {0},
citedby = {0},
journal = {Formal Methods in System Design},
volume = {19},
number = {2},
pages = {143-164},
}