Safety and liveness from a methodological point of view

A Functional Rephrasing of the Assumption/Commitment Specification Style

Formal Methods in System Design

Idel Stream Algebra

Proceedings of the ESPRIT Working Group 8533 on Prospects for Hardware Foundations: NADA - New Hardware Design Methods, Survey Chapters

Timed I/O Automata: A Mathematical Framework for Modeling and Analyzing Real-Time Systems

RTSS '03 Proceedings of the 24th IEEE International Real-Time Systems Symposium

Synthesis of Reactive(1) designs

Journal of Computer and System Sciences

Privacy promises that can be kept: a policy analysis method with application to the HIPAA privacy rule

Proceedings of the 18th ACM symposium on Access control models and technologies