DMCA
Rigorous development process of a safety-critical . . .
by
Paolo Arcaini
,
Angelo Gargantini, et al.