Martin Straka Zdenek Kotásek Jan Winter Digital Systems Architectures Based on On-line Checkers. 81-87 2008 DSD http://dx.doi.org/10.1109/DSD.2008.42 conf/dsd/2008 db/conf/dsd/dsd2008.html#StrakaKW08