Stochastic Theater: Stochastic Datapath Generation Framework for Fault-Tolerant IoT Sensors - Duarte, Rui Policarpo (2018)