Search for signaling races in fuzzy asynchronous automata | Synapse