Achim D. Brucker Lukas Brügger Burkhart Wolff Model-Based Firewall Conformance Testing. 103-118 2008 TestCom/FATES http://dx.doi.org/10.1007/978-3-540-68524-1_9 conf/pts/2008 db/conf/pts/testcom2008.html#BruckerBW08