Deterministic Measurement Models for Non-Deterministic Processes
The Presence Calculus Project on Github