Symbolic model checking of timed guarded commands using difference decision diagrams
scientific article; zbMATH DE number 1868272
scientific article