Paola Inverardi Alexander L. Wolf Daniel Yankelevich Static checking of system behaviors using derived component assumptions. 239-272 2000 9 ACM Trans. Softw. Eng. Methodol. 3 http://doi.acm.org/10.1145/352591.352593 db/journals/tosem/tosem9.html#InverardiWY00