Alessandro Aldini Marco Bernardo Weak Behavioral Equivalences for Verifying Secure and Performance-Aware Component-Based Systems. 228-254 2008 WADS http://dx.doi.org/10.1007/978-3-642-10248-6_10 conf/icse/2008wads db/conf/icse/wads2008.html#AldiniB08