COSA State Logic
(Temporal Logic)

This is a new diagram we are testing............                ...................the diagram was generated by MetaEdit; MDD tool from MetaCase.    See www.metacase.com....