{"ref":"master","ref_type":"branch","master_branch":"master","description":"A tool to translate the XML representation of Sequential Function Chart to its corresponding KeYmaera hybrid program ","pusher_type":"user"}