Andrzej Krasniewski Concurrent Error Detection for FSMs Designed for Implementation with Embedded Memory Blocks of FPGAs. 579-586 2007 DSD http://dx.doi.org/10.1109/DSD.2007.4341527 conf/dsd/2007 db/conf/dsd/dsd2007.html#Krasniewski07