Implementation of a distributed problem solving framework based on discrete event system specification | IEEE Conference Publication | IEEE Xplore