Software engineering techniques applied to protocol simulation | lit.salon