As computers increasingly control the systems and services we depend upon within our daily lives like transport, communications, and the media, ensuring these s

1 INTRODUCTION These proceedings are the result of a conference on Automating Systems Development held at Leicester Polytechnic, England on 14 to 16 April 1987.

Computers are gaining more and more control over systems that we use or rely on in our daily lives, privately as well as professionally. In safety-critical appl