Track Report for Formal Verification of Service Based Systems: FVSBS 2017 | IEEE Conference Publication | IEEE Xplore