Examples Simple examples hello echo ping pong financial accumulator Those that appear in the SCXML specification microwave calc (web ui) traffic report blackjack Smart contracts and their monitors voting (ethereum) vulnerable (ethereum)