PSL-based online monitoring of digital systems. - D. Borionne; M. Liu; P. Ostier; Laurent Fesquet (FDL, 2005)