Time and Probability based Information Flow Analysis

by Ruggero Lanotte , Angelo Troina