{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,16]],"date-time":"2025-10-16T06:46:14Z","timestamp":1760597174713},"reference-count":57,"publisher":"Elsevier BV","issue":"3","license":[{"start":{"date-parts":[[1992,9,1]],"date-time":"1992-09-01T00:00:00Z","timestamp":715305600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["International Journal of Man-Machine Studies"],"published-print":{"date-parts":[[1992,9]]},"DOI":"10.1016\/0020-7373(92)90059-t","type":"journal-article","created":{"date-parts":[[2004,9,2]],"date-time":"2004-09-02T17:57:35Z","timestamp":1094147855000},"page":"357-385","source":"Crossref","is-referenced-by-count":20,"title":["Using temporal logic to support the specification and prototyping of interactive control systems"],"prefix":"10.1016","volume":"37","author":[{"given":"C.W.","family":"Johnson","sequence":"first","affiliation":[]},{"given":"M.D.","family":"Harrison","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/0020-7373(92)90059-T_BIB1","series-title":"Interact '87","article-title":"Executable specifications as an aid to dialogue design","author":"Alexander","year":"1987"},{"key":"10.1016\/0020-7373(92)90059-T_BIB2","article-title":"Literature and user survey of issues relating to man-machine interfaces for supervision and control","author":"Alty","year":"1986"},{"key":"10.1016\/0020-7373(92)90059-T_BIB3","series-title":"Logic Programming '85","first-page":"128","article-title":"Temporal logic programming language\u2014Tokio\u2014programming in Tokio","author":"Aoyagi","year":"1986"},{"key":"10.1016\/0020-7373(92)90059-T_BIB4","series-title":"New Technology and Human Error","first-page":"271","article-title":"Ironies of automation","author":"Bainbridge","year":"1987"},{"key":"10.1016\/0020-7373(92)90059-T_BIB5","series-title":"Task, Errors and Mental Models","first-page":"70","article-title":"Types of representation","author":"Bainbridge","year":"1988"},{"key":"10.1016\/0020-7373(92)90059-T_BIB6","doi-asserted-by":"crossref","first-page":"1367","DOI":"10.1109\/23.31098","article-title":"Energy, mass, model-based displays and memory recall","volume":"36","author":"Beltracchi","year":"1989","journal-title":"IEEE Transactions On Nuclear Sciences"},{"key":"10.1016\/0020-7373(92)90059-T_BIB7","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1145\/984505.984508","article-title":"The role of time in information processing: a survey","volume":"12","author":"Bolour","year":"1982","journal-title":"ACM SIGMOD"},{"key":"10.1016\/0020-7373(92)90059-T_BIB8","doi-asserted-by":"crossref","first-page":"292","DOI":"10.1111\/j.1467-6486.1985.tb00077.x","article-title":"Failure, uncertainty and control: the role of the operator in a computer integrated production system","volume":"22","author":"Buchanan","year":"1985","journal-title":"Journal Of Management Studies"},{"key":"10.1016\/0020-7373(92)90059-T_BIB9","series-title":"Proceedings Of CHI'90","first-page":"117","article-title":"The design space of input devices","author":"Card","year":"1990"},{"key":"10.1016\/0020-7373(92)90059-T_BIB10","article-title":"The Synthesis and verification of logic programs","author":"Clark","year":"1981"},{"key":"10.1016\/0020-7373(92)90059-T_BIB11","author":"Clark","year":"1987"},{"key":"10.1016\/0020-7373(92)90059-T_BIB12","series-title":"Information Technology and People","first-page":"45","article-title":"Managing factory automation","author":"Clegg","year":"1987"},{"key":"10.1016\/0020-7373(92)90059-T_BIB13","first-page":"5","author":"Lord","year":"1990","journal-title":"The Times"},{"key":"10.1016\/0020-7373(92)90059-T_BIB14","series-title":"New Technology and Human Error","first-page":"247","article-title":"The structuring of knowledge of operators in continuous processes: a case study of a continuous casting-plant start up","author":"De Keyser","year":"1987"},{"key":"10.1016\/0020-7373(92)90059-T_BIB15","author":"Dix","year":"1991"},{"key":"10.1016\/0020-7373(92)90059-T_BIB16","doi-asserted-by":"crossref","first-page":"350","DOI":"10.1109\/TSMC.1987.4309052","article-title":"Interpreting observations of physical systems","volume":"SMC-17","author":"Forbus","year":"1987","journal-title":"IEEE Transactions on systems, Man and Cybernetics"},{"key":"10.1016\/0020-7373(92)90059-T_BIB17","series-title":"Logic Programming '85","first-page":"246","article-title":"Using the temporal logic programming language TOKIO for algorithm description and automatic CMOS gate array synthesis","author":"Fujita","year":"1986"},{"key":"10.1016\/0020-7373(92)90059-T_BIB18","series-title":"Human Factors in Computing Systems\u2014CHI'86 Conference Proceedings","first-page":"16","article-title":"Generalised fish-eye views","author":"Furnas","year":"1986"},{"key":"10.1016\/0020-7373(92)90059-T_BIB19","series-title":"Temporal Logics and Their Applications","first-page":"197","article-title":"Modal and temporal logic programming","author":"Gabbay","year":"1987"},{"key":"10.1016\/0020-7373(92)90059-T_BIB20","doi-asserted-by":"crossref","first-page":"532","DOI":"10.1109\/21.17371","article-title":"A conceptual framework for person-computer interaction","volume":"SMC-18","author":"Gaines","year":"1988","journal-title":"Complex Systems, IEEE Transactions On Systems, Man and Cybernetics"},{"key":"10.1016\/0020-7373(92)90059-T_BIB21","series-title":"Task, Errors and Mental Models","first-page":"193","article-title":"Human factors in industrial risk assessment\u2014some early work","author":"Green","year":"1988"},{"key":"10.1016\/0020-7373(92)90059-T_BIB22","series-title":"Temporal Logics and Their Applications","first-page":"91","article-title":"Temporal logic programming","author":"Hale","year":"1987"},{"key":"10.1016\/0020-7373(92)90059-T_BIB23","series-title":"Formal Methods in Human Computer Interaction","first-page":"131","article-title":"A state model of direct manipulation in interactive systems","author":"Harrison","year":"1990"},{"key":"10.1016\/0020-7373(92)90059-T_BIB24","series-title":"Designing and Using Human-Computer Interfaces and Knowledge Based Systems","first-page":"651","article-title":"Complementary methods for the iterative design of interactive systems","author":"Harrison","year":"1989"},{"key":"10.1016\/0020-7373(92)90059-T_BIB25","series-title":"Proceedings of the 27th Annual Meeting of the Human Factors Society","first-page":"970","author":"Hawkins","year":"1983"},{"key":"10.1016\/0020-7373(92)90059-T_BIB26","doi-asserted-by":"crossref","first-page":"184","DOI":"10.1109\/TSMC.1984.6313201","article-title":"Human performance in monitoring and controlling hierarchical large-scale systems","volume":"SMC-14","author":"Henneman","year":"1984","journal-title":"IEEE Transactions on Systems, Man and Cybernetics"},{"key":"10.1016\/0020-7373(92)90059-T_BIB27","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1109\/TSMC.1986.4308940","article-title":"On measuring the complexity of monitoring and controlling large-scale systems","volume":"SMC-16","author":"Henneman","year":"1986","journal-title":"IEEE Transactions on Systems, Man and Cybernetics"},{"key":"10.1016\/0020-7373(92)90059-T_BIB28","series-title":"Interact '87","first-page":"257","article-title":"Analysis of cognitive activities in process control for the design of computer aids\u2014an example the control of a blast furnace","author":"Hoc","year":"1987"},{"key":"10.1016\/0020-7373(92)90059-T_BIB29","article-title":"Applying high level models to the design of interactive process control systems","author":"Johnson","year":"1990"},{"key":"10.1016\/0020-7373(92)90059-T_BIB30","series-title":"Interact '90","first-page":"1019","article-title":"Using temporal logic to prototype interactive systems","author":"Johnson","year":"1990"},{"key":"10.1016\/0020-7373(92)90059-T_BIB31","series-title":"HCI'91: Usability Now","first-page":"145","article-title":"Applying temporal logic to support the design of concurrent multi-user interfaces","author":"Johnson","year":"1991"},{"key":"10.1016\/0020-7373(92)90059-T_BIB32","series-title":"Eurographics '90","first-page":"469","article-title":"PRELOG\u2014a system for presenting and rendering logic specifications of interactive systems","author":"Johnson","year":"1990"},{"key":"10.1016\/0020-7373(92)90059-T_BIB33","series-title":"Eurographics '91","first-page":"195","article-title":"Declarative graphics and dynamic interaction","author":"Johnson","year":"1991"},{"key":"10.1016\/0020-7373(92)90059-T_BIB34","first-page":"424","article-title":"Algorithm = Logic + Control","volume":"22","author":"Kowalski","year":"1979","journal-title":"Communications of the A.C.M."},{"key":"10.1016\/0020-7373(92)90059-T_BIB35","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1080\/00140138908966087","article-title":"Stress-inducing properties of system response times","volume":"32","author":"Kuhmann","year":"1989","journal-title":"Ergonomics"},{"key":"10.1016\/0020-7373(92)90059-T_BIB36","author":"Langefors","year":"1975"},{"key":"10.1016\/0020-7373(92)90059-T_BIB37","series-title":"Technical report","article-title":"Denotational graphics","author":"McCabe","year":"1987"},{"key":"10.1016\/0020-7373(92)90059-T_BIB38","series-title":"The Correctness Problem In Computer Science","first-page":"215","article-title":"Verification of concurrent programs: The temporal framework","author":"Manna","year":"1981"},{"key":"10.1016\/0020-7373(92)90059-T_BIB39","doi-asserted-by":"crossref","first-page":"1319","DOI":"10.1080\/00140138908966910","article-title":"Fault management in process control: eye movements and action","volume":"32","author":"Moray","year":"1989","journal-title":"Ergonomics"},{"key":"10.1016\/0020-7373(92)90059-T_BIB40","series-title":"Third International Conference on Logic Programming","first-page":"686","article-title":"Cut and paste: defining the impure primitives of Prolog","author":"Moss","year":"1986"},{"key":"10.1016\/0020-7373(92)90059-T_BIB41","article-title":"Executing Temporal Logic Programs","author":"Moszkowski","year":"1986"},{"key":"10.1016\/0020-7373(92)90059-T_BIB42","series-title":"Logic Programming and its Application","first-page":"175","article-title":"Can drawing be liberated from the Von Neumann style?","author":"Pereira","year":"1986"},{"key":"10.1016\/0020-7373(92)90059-T_BIB43","author":"Prior","year":"1967"},{"key":"10.1016\/0020-7373(92)90059-T_BIB44","article-title":"Coping with complexity","author":"Rasmussen","year":"1981"},{"key":"10.1016\/0020-7373(92)90059-T_BIB45","doi-asserted-by":"crossref","first-page":"257","DOI":"10.1109\/TSMC.1983.6313160","article-title":"Skills, rules and knowledge; signals, signs and symbols and other distinctions in human performance models","volume":"SMC-13","author":"Rasmussen","year":"1983","journal-title":"IEEE Transactions on Systems, Man and Cybernetics"},{"key":"10.1016\/0020-7373(92)90059-T_BIB46","series-title":"New Technology and Human Error","first-page":"45","article-title":"The psychology of mistakes: a brief review of planning failures","author":"Reason","year":"1987"},{"key":"10.1016\/0020-7373(92)90059-T_BIB47","author":"Rescher","year":"1971"},{"key":"10.1016\/0020-7373(92)90059-T_BIB48","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1016\/S0020-7373(83)80007-8","article-title":"Users are individuals: individualizing user models","volume":"18","author":"Rich","year":"1983","journal-title":"International Journal of Man-Machine Studies"},{"key":"10.1016\/0020-7373(92)90059-T_BIB49","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1145\/356835.356839","article-title":"Human computer interaction in the control of dynamic systems","volume":"13","author":"Rouse","year":"1981","journal-title":"ACM Computing Surveys"},{"key":"10.1016\/0020-7373(92)90059-T_BIB50","first-page":"15","article-title":"Temporal Prolog\u2014a programming language based on temporal logic","volume":"4","author":"Sakuragawa","year":"1987","journal-title":"Computer Software"},{"key":"10.1016\/0020-7373(92)90059-T_BIB51","first-page":"22","article-title":"RACCO: A modal-logic programming language for writing models of real-time process-control systems","volume":"5","author":"Sakuragawa","year":"1988","journal-title":"Computer Software"},{"key":"10.1016\/0020-7373(92)90059-T_BIB52","doi-asserted-by":"crossref","first-page":"601","DOI":"10.1016\/S0020-7373(86)80011-6","article-title":"Support for tentative design: incorporating the screen, as a graphical object, into Prolog","volume":"24","author":"Schappo","year":"1986","journal-title":"International Journal of Man-Machine Studies"},{"key":"10.1016\/0020-7373(92)90059-T_BIB53","doi-asserted-by":"crossref","first-page":"727","DOI":"10.1080\/00140137308924563","article-title":"Theoretical approaches to human error","volume":"16","author":"Singleton","year":"1973","journal-title":"Ergonomics"},{"key":"10.1016\/0020-7373(92)90059-T_BIB54","series-title":"Three mile island","author":"Stephens","year":"1980"},{"key":"10.1016\/0020-7373(92)90059-T_BIB55","series-title":"Formal Methods in Human Computer Interaction","first-page":"153","article-title":"Specification, analysis and refinement of interactive processes","author":"Sufrin","year":"1990"},{"key":"10.1016\/0020-7373(92)90059-T_BIB56","doi-asserted-by":"crossref","first-page":"995","DOI":"10.1080\/00140138008924809","article-title":"Flight deck automation: promises and problems","volume":"23","author":"Wiener","year":"1980","journal-title":"Ergonomics"},{"key":"10.1016\/0020-7373(92)90059-T_BIB57","series-title":"Task, Errors and Mental Models","first-page":"128","article-title":"Coping with complexity: the psychology of human behaviour in complex systems","author":"Woods","year":"1988"}],"container-title":["International Journal of Man-Machine Studies"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:002073739290059T?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:002073739290059T?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,2,4]],"date-time":"2019-02-04T00:56:21Z","timestamp":1549241781000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/002073739290059T"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992,9]]},"references-count":57,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1992,9]]}},"alternative-id":["002073739290059T"],"URL":"https:\/\/doi.org\/10.1016\/0020-7373(92)90059-t","relation":{},"ISSN":["0020-7373"],"issn-type":[{"value":"0020-7373","type":"print"}],"subject":[],"published":{"date-parts":[[1992,9]]}}}