Maksim Jenihhin, Jaan Raik, Anton Chepurov, Raimund Ubar. Temporally Extended High-Level Decision Diagrams for PSL Assertions Simulation. In 13th European Test Symposium (ETS 2008), May 25-29, 2008, Verbania, Italy. pages 61-68, IEEE Computer Society, 2008. [doi]
Abstract is missing.