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