Performance Description and Analysis for Distributed Systems Using a Variant of LOTOS