"Modal abstraction view of requirements for medical devices used in ..."

Heather M. Conboy, George S. Avrunin, Lori A. Clarke (2013)
a service of Schloss Dagstuhl - Leibniz Center for Informatics