From specification to management of composite object behavior | IEEE Conference Publication | IEEE Xplore