Modelling and specifying scenarios and agent behaviour | IEEE Conference Publication | IEEE Xplore