Workshop on discrete event systems (WODES' 04) | IEEE Journals & Magazine | IEEE Xplore