Behaviour Model Synthesis from Properties and Scenarios | IEEE Conference Publication | IEEE Xplore