A Case for Structured Analysis/Formal Design

Conjunction as composition

ACM Transactions on Software Engineering and Methodology (TOSEM)

SOFL: A Formal Engineering Methodology for Industrial Applications

IEEE Transactions on Software Engineering

ATOM: An object-based formal method for real-time systems

Annals of Software Engineering

Using Formal Methods to Develop an ATC Information System

IEEE Software

A predicative basis for structured analysis specification tools

Information and Software Technology