Extending Temporal Logic for Capturing Evolving Behaviour.

Stefan Conrad, Gunter Saake

Browse the full ISMIS paper archive.