Coverage metrics for temporal logic model checking
scientific article; zbMATH DE number 5073682
scientific article