A LOTOS extension for the performance analysis of distributed systems | IEEE Journals & Magazine | IEEE Xplore