Property networks allowing oracle-based mode-change propagation in hierarchical components. - Tomás Pop; Frantisek Plásil; Matej Outly; Michal Malohlava; Tomás Bures (CBSE, 2012)