Models and formal verification of multiprocessor system-on-chips
scientific article; zbMATH DE number 5362184