Formal Methods in System DesignNovember 1996, Volume 9, Issue 3, pp i–ii | Cite asCall for papersArticle 14 Downloads This is a preview of subscription content, log in to check access.Copyright information© Kluwer Academic Publishers 1996