Kompiuterių tinklų protokolų formalusis specifikavimas ir analizė: agregatinis metodas