Service-oriented modeling using the SOFL formal engineering method | IEEE Conference Publication | IEEE Xplore