conference paper published yes Thomas A Henzinger author 40876CD8-F248-11E8-B48F-1D18A9856A870000−0002−2985−7724 TCS: Theoretical Computer Science Masaccio is a formal model for hybrid dynamical systems which are built from atomic discrete components (difference equations) and atomic continuous components (differential equations) by parallel and serial composition, arbitrarily nested. Each system component consists of an interface, which determines the possible ways of using the component, and a set of executions, which define the possible behaviors of the component in real time. Version 1.0 (May 2000). Springer2000Sendai, Japan eng 978354067823610.1007/3-540-44929-9_38 1872549 - 563 yes Henzinger, T. A. (2000). Masaccio: A formal model for embedded components. In <i>Proceedings of the 1st International Conference on Theoretical Computer Science </i> (Vol. 1872, pp. 549–563). Sendai, Japan: Springer. <a href="https://doi.org/10.1007/3-540-44929-9_38">https://doi.org/10.1007/3-540-44929-9_38</a> T. A. Henzinger, “Masaccio: A formal model for embedded components,” in <i>Proceedings of the 1st International Conference on Theoretical Computer Science </i>, Sendai, Japan, 2000, vol. 1872, pp. 549–563. Henzinger TA. 2000. Masaccio: A formal model for embedded components. Proceedings of the 1st International Conference on Theoretical Computer Science . TCS: Theoretical Computer Science, LNCS, vol. 1872, 549–563. Henzinger, Thomas A. “Masaccio: A Formal Model for Embedded Components.” <i>Proceedings of the 1st International Conference on Theoretical Computer Science </i>, vol. 1872, Springer, 2000, pp. 549–63, doi:<a href="https://doi.org/10.1007/3-540-44929-9_38">10.1007/3-540-44929-9_38</a>. Henzinger, Thomas A. “Masaccio: A Formal Model for Embedded Components.” In <i>Proceedings of the 1st International Conference on Theoretical Computer Science </i>, 1872:549–63. Springer, 2000. <a href="https://doi.org/10.1007/3-540-44929-9_38">https://doi.org/10.1007/3-540-44929-9_38</a>. Henzinger TA. Masaccio: A formal model for embedded components. In: <i>Proceedings of the 1st International Conference on Theoretical Computer Science </i>. Vol 1872. Springer; 2000:549-563. doi:<a href="https://doi.org/10.1007/3-540-44929-9_38">10.1007/3-540-44929-9_38</a> T.A. Henzinger, in:, Proceedings of the 1st International Conference on Theoretical Computer Science , Springer, 2000, pp. 549–563. 45122018-12-11T12:09:14Z2023-04-13T13:48:08Z