Journal: Formal Methods in System Design