Title: A temporal framework for information systems specification and verification