Heinz W. Schmidt, Bernd J. Krämer, Iman Poernomo, Ralf Reussner. Predictable Component Architectures Using Dependent Finite State Machines. In Martin Wirsing, Alexander Knapp, Simonetta Balsamo, editors, Radical Innovations of Software and Systems Engineering in the Future, 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002, Revised Papers. Volume 2941 of Lecture Notes in Computer Science, pages 310-324, Springer, 2002. [doi]
Abstract is missing.