MVDA 2012: The First IEEE International Workshop on Modeling and Verifying Distributed Applications | IEEE Conference Publication | IEEE Xplore