Title: Formal methods for VSI design
First published: 1994