Development and application of a formal agent framework | IEEE Conference Publication | IEEE Xplore