Impact of statechart implementation techniques on the effectiveness of fault detection mechanisms | IEEE Conference Publication | IEEE Xplore