Yann Oddos, Katell Morin-Allory, Dominique Borrione. On-Line Test Vector Generation from Temporal Constraints Written in PSL. In IFIP VLSI-SoC 2006, IFIP WG 10.5 International Conference on Very Large Scale Integration of System-on-Chip, Nice, France, 16-18 October 2006. pages 397-402, IEEE, 2006. [doi]
Abstract is missing.