Ismail Assayad, Sergio Yovine. Compositional Constraints Generation for Concurrent Real-Time Loops with Interdependent Iterations. In Alain Bui, Marc Bui, Thomas Böhme, Herwig Unger, editors, Innovative Internet Community Systems, 5th International Workshop, IICS 2005, Paris, France, June 20-22, 2005, Revised Papers. Volume 3908 of Lecture Notes in Computer Science, pages 159-170, Springer, 2005. [doi]
Abstract is missing.