1
Published 1993
Springer US
... has also been published as a special issue of the journal Formal Methods in System Design, 1:2-3...