Heinz W. Schmidt Bernd J. Krämer Iman Poernomo Ralf Reussner Predictable Component Architectures Using Dependent Finite State Machines. 310-324 http://dx.doi.org/10.1007/978-3-540-24626-8_22 2002 conf/rissef/2002 RISSEF db/conf/rissef/rissef2002.html#SchmidtKPR02