Verifying Deadlock- and Livelock Freedom in an SOA Scenario | IEEE Conference Publication | IEEE Xplore