Scarlet Schwiderski Thorsten Hartmann Gunter Saake Monitoring Temporal Preconditions in a Behaviour Oriented Object Model. 143-186 1994 14 Data Knowl. Eng. 2 db/journals/dke/dke14.html#SchwiderskiHS94