A technique to generate plausible counter-operation procedures for an emergency situation based on a model expressing functions of components · Study