Ian Wootten Shrija Rajbhandari Omer F. Rana Automatic Assertion of Actor State in Service Oriented Architectures. 655-662 2007 conf/icws/2007 ICWS http://doi.ieeecomputersociety.org/10.1109/ICWS.2007.51 db/conf/icws/icws2007.html#WoottenRR07