Testing restorable systems: formal definition and heuristic solution based on river formation dynamics. - Rabanal, Pablo; Rodríguez, Ismael; Rubio, Fernando (Formal Aspects of Computing, 2013)