A framework to integrate software behavior into dynamic probabilistic risk assessment · Study