Special issues for fm '99: the first world congress on formal methods in the development of computing systems | IEEE Journals & Magazine | IEEE Xplore