De Landtsheer, R.; Ponsard, C.; Devos, N. A Constraint-Solving Approach for Achieving Minimal-Reset Transition Coverage of Smartcard Behaviour. eceasst 2014, 70.