Extraction of component-environment interaction model using state space traversal. - Pavel Parízek; Nodir Yuldashev (SAC, 2010)