cADL assertion, invariant, validity - any practical examples of use?

[Thomas Beale]

An HTML attachment was scrubbed...
URL: 
<http://lists.openehr.org/mailman/private/openehr-technical_lists.openehr.org/attachments/20090701/3208ec8d/attachment.html>