Hybrid dynamic logic institutions for event/data-based systems
scientific article; zbMATH DE number 7455784