A framework and supporting tool for the model-based analysis for dependable interactive systems in the context of industrial design /
Loer, Karsten.
Harrison, Michael,1907-1991.
University of Newcastle upon Tyne.School of Computing Science.
Newcastle upon Tyne : University of Newcastle upon Tyne, Computing Science,
c2004.
"November 2004."
Caption title.
Includes bibliographical references.