Generating Behaviour Networks from Finite-State Machines | VDE Conference Publication | IEEE Xplore