Composing and refining dense temporal logic specifications
scientific article; zbMATH DE number 1530335