An Experiment in Automatic Generation of Protocols from HMSCs | IEEE Conference Publication | IEEE Xplore