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