Proceedings of the Third Workshop on Behavioural Modelling
ACM Digital Library