Formal Methods for Computer/Communications Protocols and Software door Hazem El-Gendy