Selected issues of modeling, verification and testing of digital systems
Jutman, Artur
2004
https://www.ester.ee/record=b1989760*est