In-Depth Protocol Modeling