"all reachability" in Attack trees
Seems to fail when using UPPAAL, but works with the internal model checker... For example see model At_ZeusZitmo
Seems to fail when using UPPAAL, but works with the internal model checker... For example see model At_ZeusZitmo