A Constraint-Based Solution for On-Line Testing of Processors Embedded in Real-Time Applications | IEEE Conference Publication | IEEE Xplore