Richard Ekwall Sergio Mena Stefan Pleisch André Schiper Towards Flexible Finite-State-Machine-Based Protocol Composition. 281-286 2004 conf/nca/2004 NCA http://doi.ieeecomputersociety.org/10.1109/NCA.2004.1347787 db/conf/nca/nca2004.html#EkwallMPS04