A mixed-radix FFT algorithm implementation based on Petri nets to assist the certification of bio-medical systems | IEEE Conference Publication | IEEE Xplore