{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T08:12:54Z","timestamp":1743063174280,"version":"3.40.3"},"publisher-location":"Cham","reference-count":49,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031223365"},{"type":"electronic","value":"9783031223372"}],"license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022]]},"DOI":"10.1007\/978-3-031-22337-2_6","type":"book-chapter","created":{"date-parts":[[2022,12,28]],"date-time":"2022-12-28T10:08:41Z","timestamp":1672222121000},"page":"107-130","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["On Specifications and\u00a0Proofs of\u00a0Timed Circuits"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-5765-0301","authenticated-orcid":false,"given":"Matthias","family":"F\u00fcgger","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3290-0674","authenticated-orcid":false,"given":"Christoph","family":"Lenzen","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9831-8583","authenticated-orcid":false,"given":"Ulrich","family":"Schmid","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2022,12,29]]},"reference":[{"issue":"1","key":"6_CR1","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0022-5193(03)00035-3","volume":"223","author":"R Albert","year":"2003","unstructured":"Albert, R., Othmer, H.G.: The topology of the regulatory interactions predicts the expression pattern of the segment polarity genes in drosophila melanogaster. J. Theor. Biol. 223(1), 1\u201318 (2003)","journal-title":"J. Theor. Biol."},{"key":"6_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1007\/3-540-45828-X_9","volume-title":"Embedded Software","author":"L de Alfaro","year":"2002","unstructured":"de Alfaro, L., Henzinger, T.A., Stoelinga, M.: Timed interfaces. In: Sangiovanni-Vincentelli, A., Sifakis, J. (eds.) EMSOFT 2002. LNCS, vol. 2491, pp. 108\u2013122. Springer, Heidelberg (2002). https:\/\/doi.org\/10.1007\/3-540-45828-X_9"},{"issue":"7","key":"6_CR3","doi-asserted-by":"publisher","first-page":"971","DOI":"10.1109\/5.871304","volume":"88","author":"R Alur","year":"2000","unstructured":"Alur, R., Henzinger, T., Lafferriere, G., Pappas, G.: Discrete abstractions of hybrid systems. Proc. IEEE 88(7), 971\u2013984 (2000). https:\/\/doi.org\/10.1109\/5.871304","journal-title":"Proc. IEEE"},{"doi-asserted-by":"publisher","unstructured":"Alur, R., Dill, D.L.: A theory of timed automata. Theor. Comput. Sci. 126(2), 183\u2013235 (1994). https:\/\/doi.org\/10.1016\/0304-3975(94)90010-8. http:\/\/www.sciencedirect.com\/science\/article\/pii\/0304397594900108","key":"6_CR4","DOI":"10.1016\/0304-3975(94)90010-8"},{"issue":"4","key":"6_CR5","doi-asserted-by":"publisher","first-page":"804","DOI":"10.1145\/4221.4227","volume":"32","author":"B Awerbuch","year":"1985","unstructured":"Awerbuch, B.: Complexity of network synchronization. JACM 32(4), 804\u2013823 (1985)","journal-title":"JACM"},{"key":"6_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"164","DOI":"10.1007\/978-3-642-40708-6_13","volume-title":"Computational Methods in Systems Biology","author":"E Bartocci","year":"2013","unstructured":"Bartocci, E., Bortolussi, L., Nenzi, L.: A temporal logic approach to modular design of synthetic biological circuits. In: Gupta, A., Henzinger, T.A. (eds.) CMSB 2013. LNCS, vol. 8130, pp. 164\u2013177. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-40708-6_13"},{"issue":"3","key":"6_CR7","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1109\/TDMR.2005.853449","volume":"5","author":"R Baumann","year":"2005","unstructured":"Baumann, R.: Radiation-induced soft errors in advanced semiconductor technologies. IEEE Trans. Device Mater. Reliab. 5(3), 305\u2013316 (2005)","journal-title":"IEEE Trans. Device Mater. Reliab."},{"issue":"2","key":"6_CR8","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1049\/ip-cds:20000197","volume":"147","author":"MJ Bellido-Diaz","year":"2000","unstructured":"Bellido-Diaz, M.J., Juan-Chico, J., Acosta, A., Valencia, M., Huertas, J.L.: Logical modelling of delay degradation effect in static CMOS gates. IEE Proc. Circuits Devices Syst. 147(2), 107\u2013117 (2000)","journal-title":"IEE Proc. Circuits Devices Syst."},{"key":"6_CR9","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4613-0091-5","volume-title":"Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement","author":"M Broy","year":"2001","unstructured":"Broy, M., St\u00f8len, K.: Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement. Springer, New York (2001). https:\/\/doi.org\/10.1007\/978-1-4613-0091-5"},{"issue":"4","key":"6_CR10","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1109\/MM.2003.1225959","volume":"23","author":"C Constantinescu","year":"2003","unstructured":"Constantinescu, C.: Trends and challenges in VLSI circuit reliability. IEEE Micro 23(4), 14\u201319 (2003)","journal-title":"IEEE Micro"},{"key":"6_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1007\/3-540-45032-7_3","volume-title":"Self-Stabilizing Systems","author":"A Daliot","year":"2003","unstructured":"Daliot, A., Dolev, D., Parnas, H.: Self-stabilizing pulse synchronization inspired by biological pacemaker networks. In: Huang, S.-T., Herman, T. (eds.) SSS 2003. LNCS, vol. 2704, pp. 32\u201348. Springer, Heidelberg (2003). https:\/\/doi.org\/10.1007\/3-540-45032-7_3"},{"issue":"11","key":"6_CR12","doi-asserted-by":"publisher","first-page":"643","DOI":"10.1145\/361179.361202","volume":"17","author":"EW Dijkstra","year":"1974","unstructured":"Dijkstra, E.W.: Self-stabilizing systems in spite of distributed control. CACM 17(11), 643\u2013644 (1974)","journal-title":"CACM"},{"unstructured":"Dixit, A., Wood, A.: The impact of new technology on soft error rates. In: Proceedings of IRPS, pp. 5B.4.1\u20135B.4.7 (2011)","key":"6_CR13"},{"issue":"1","key":"6_CR14","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1145\/7531.7533","volume":"34","author":"D Dolev","year":"1987","unstructured":"Dolev, D., Dwork, C., Stockmeyer, L.: On the minimal synchronism needed for distributed consensus. JACM 34(1), 77\u201397 (1987)","journal-title":"JACM"},{"doi-asserted-by":"crossref","unstructured":"Dolev, D., F\u00fcgger, M., Lenzen, C., Perner, M., Schmid, U.: HEX: scaling honeycombs is easier than scaling clock trees. In: Proceedings of the 25th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA 2013), pp. 164\u2013175 (2013)","key":"6_CR15","DOI":"10.1145\/2486159.2486192"},{"issue":"4","key":"6_CR16","first-page":"860","volume":"80","author":"D Dolev","year":"2014","unstructured":"Dolev, D., F\u00fcgger, M., Lenzen, C., Posch, M., Schmid, U., Steininger, A.: Rigorously modeling self-stabilizing fault-tolerant circuits: an ultra-robust clocking scheme for systems-on-chip. JCSS 80(4), 860\u2013900 (2014)","journal-title":"JCSS"},{"doi-asserted-by":"publisher","unstructured":"Dolev, D., F\u00fcgger, M., Lenzen, C., Schmid, U.: Fault-tolerant algorithms for tick-generation in asynchronous logic: robust pulse generation. J. ACM 61(5), 30:1\u201330:74 (2014). https:\/\/doi.org\/10.1145\/2560561","key":"6_CR17","DOI":"10.1145\/2560561"},{"key":"6_CR18","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/6156.001.0001","volume-title":"Self-Stabilization","author":"S Dolev","year":"2000","unstructured":"Dolev, S.: Self-Stabilization. MIT Press, Cambridge (2000)"},{"issue":"2","key":"6_CR19","doi-asserted-by":"publisher","first-page":"288","DOI":"10.1145\/42282.42283","volume":"35","author":"C Dwork","year":"1988","unstructured":"Dwork, C., Lynch, N., Stockmeyer, L.: Consensus in the presence of partial synchrony. JACM 35(2), 288\u2013323 (1988)","journal-title":"JACM"},{"key":"6_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1007\/3-540-12689-9_99","volume-title":"Foundations of Computation Theory","author":"MJ Fischer","year":"1983","unstructured":"Fischer, M.J.: The consensus problem in unreliable distributed systems (a brief survey). In: Karpinski, M. (ed.) FCT 1983. LNCS, vol. 158, pp. 127\u2013140. Springer, Heidelberg (1983). https:\/\/doi.org\/10.1007\/3-540-12689-9_99"},{"issue":"2","key":"6_CR21","doi-asserted-by":"publisher","first-page":"374","DOI":"10.1145\/3149.214121","volume":"32","author":"M Fischer","year":"1985","unstructured":"Fischer, M., Lynch, N., Paterson, M.: Impossibility of distributed consensus with one faulty process. JACM 32(2), 374\u2013382 (1985)","journal-title":"JACM"},{"doi-asserted-by":"publisher","unstructured":"Friedrichs, S., F\u00fcgger, M., Lenzen, C.: Metastability-containing circuits. IEEE Trans. Comput. 67(8), 1167\u20131183 (2018). https:\/\/doi.org\/10.1109\/TC.2018.2808185. https:\/\/doi.org\/10.1109\/TC.2018.2808185","key":"6_CR22","DOI":"10.1109\/TC.2018.2808185"},{"doi-asserted-by":"crossref","unstructured":"Fuchs, G., Steininger, A.: VLSI implementation of a distributed algorithm for fault-tolerant clock generation. J. Electr. Comput. Eng. 2011, 936712 (2011)","key":"6_CR23","DOI":"10.1155\/2011\/936712"},{"issue":"10","key":"6_CR24","doi-asserted-by":"publisher","first-page":"2784","DOI":"10.1109\/TCAD.2019.2937748","volume":"39","author":"M F\u00fcgger","year":"2020","unstructured":"F\u00fcgger, M., Najvirt, R., Nowak, T., Schmid, U.: A faithful binary circuit model. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39(10), 2784\u20132797 (2020). https:\/\/doi.org\/10.1109\/TCAD.2019.2937748","journal-title":"IEEE Trans. Comput. Aided Des. Integr. Circuits Syst."},{"key":"6_CR25","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1007\/978-981-15-0081-7_9","volume-title":"Advances in Synthetic Biology","author":"M F\u00fcgger","year":"2020","unstructured":"F\u00fcgger, M., Kushwaha, M., Nowak, T.: Digital circuit design for biological and silicon computers. In: Singh, V. (ed.) Advances in Synthetic Biology, pp. 153\u2013171. Springer, Singapore (2020). https:\/\/doi.org\/10.1007\/978-981-15-0081-7_9"},{"doi-asserted-by":"publisher","unstructured":"F\u00fcgger, M., Nowak, T., Schmid, U.: Unfaithful glitch propagation in existing binary circuit models. IEEE Trans. Comput. 65(3), 964\u2013978 (2016). https:\/\/doi.org\/10.1109\/TC.2015.2435791. http:\/\/ieeexplore.ieee.org\/stamp\/stamp.jsp?tp= &arnumber=7110587","key":"6_CR26","DOI":"10.1109\/TC.2015.2435791"},{"issue":"6","key":"6_CR27","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1007\/s00446-011-0151-7","volume":"24","author":"M F\u00fcgger","year":"2012","unstructured":"F\u00fcgger, M., Schmid, U.: Reconciling fault-tolerant distributed computing and systems-on-chip. Distrib. Comput. 24(6), 323\u2013355 (2012)","journal-title":"Distrib. Comput."},{"key":"6_CR28","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1038\/35002131","volume":"403","author":"TS Gardner","year":"2000","unstructured":"Gardner, T.S., Cantor, C.R., Collins, J.J.: Construction of a genetic toggle switch in Escherichia coli. Nature 403, 339\u2013342 (2000)","journal-title":"Nature"},{"issue":"11","key":"6_CR29","doi-asserted-by":"publisher","first-page":"952","DOI":"10.15252\/msb.20167461","volume":"13","author":"TE Gorochowski","year":"2017","unstructured":"Gorochowski, T.E., et al.: Genetic circuit characterization and debugging using RNA-SEQ. Mol. Syst. Biol. 13(11), 952 (2017)","journal-title":"Mol. Syst. Biol."},{"key":"6_CR30","doi-asserted-by":"publisher","first-page":"224","DOI":"10.1038\/nature01257","volume":"420","author":"J Hasty","year":"2002","unstructured":"Hasty, J., McMillen, D., Collins, J.J.: Engineered gene circuits. Nature 420, 224\u2013230 (2002)","journal-title":"Nature"},{"unstructured":"International Technology Roadmap for Semiconductors (2012). http:\/\/www.itrs.net","key":"6_CR31"},{"key":"6_CR32","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-01794-0","volume-title":"The Theory of Timed I\/O Automata","author":"DK Kaynar","year":"2006","unstructured":"Kaynar, D.K., Lynch, N., Segala, R., Vaandrager, F.: The Theory of Timed I\/O Automata. Morgan & Claypool Publishers, San Francisco (2006)"},{"issue":"9","key":"6_CR33","doi-asserted-by":"publisher","first-page":"1819","DOI":"10.1109\/5.705525","volume":"86","author":"I Koren","year":"1998","unstructured":"Koren, I., Koren, Z.: Defect tolerance in VLSI circuits: techniques and yield analysis. Proc. IEEE 86(9), 1819\u20131838 (1998). https:\/\/doi.org\/10.1109\/5.705525","journal-title":"Proc. IEEE"},{"issue":"7","key":"6_CR34","doi-asserted-by":"publisher","first-page":"558","DOI":"10.1145\/359545.359563","volume":"21","author":"L Lamport","year":"1978","unstructured":"Lamport, L.: Time, clocks, and the ordering of events in a distributed system. CACM 21(7), 558\u2013565 (1978)","journal-title":"CACM"},{"issue":"3","key":"6_CR35","doi-asserted-by":"publisher","first-page":"872","DOI":"10.1145\/177492.177726","volume":"16","author":"L Lamport","year":"1994","unstructured":"Lamport, L.: The temporal logic of actions. ACM Trans. Program. Lang. Syst. 16(3), 872\u2013923 (1994)","journal-title":"ACM Trans. Program. Lang. Syst."},{"unstructured":"Lee, E.A., Varaiya, P.: Structure and Interpretation of Signals and Systems, 2nd edn. LeeVaraiya.org (2011)","key":"6_CR36"},{"issue":"2","key":"6_CR37","doi-asserted-by":"publisher","first-page":"214","DOI":"10.1006\/inco.1995.1134","volume":"121","author":"N Lynch","year":"1995","unstructured":"Lynch, N., Vaandrager, F.: Forward and backward simulations, I: untimed systems. Inf. Comput. 121(2), 214\u2013233 (1995)","journal-title":"Inf. Comput."},{"issue":"1","key":"6_CR38","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1006\/inco.1996.0060","volume":"128","author":"N Lynch","year":"1996","unstructured":"Lynch, N., Vaandrager, F.: Forward and backward simulations, II: timing-based systems. Inf. Comput. 128(1), 1\u201325 (1996)","journal-title":"Inf. Comput."},{"issue":"2","key":"6_CR39","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1109\/TC.1981.6312173","volume":"C30","author":"L Marino","year":"1981","unstructured":"Marino, L.: General theory of metastable operation. IEEE Trans. Comput. C30(2), 107\u2013115 (1981)","journal-title":"IEEE Trans. Comput."},{"doi-asserted-by":"crossref","unstructured":"Maza, M.S., Aranda, M.L.: Analysis of clock distribution networks in the presence of crosstalk and groundbounce. In: Proceedings of ICECS, pp. 773\u2013776 (2001)","key":"6_CR40","DOI":"10.1109\/ICECS.2001.957589"},{"doi-asserted-by":"crossref","unstructured":"Nielsen, A.A., et al.: Genetic circuit design automation. Science 352(6281), aac7341 (2016)","key":"6_CR41","DOI":"10.1126\/science.aac7341"},{"key":"6_CR42","doi-asserted-by":"publisher","first-page":"228","DOI":"10.1145\/322186.322188","volume":"27","author":"M Pease","year":"1980","unstructured":"Pease, M., Shostak, R., Lamport, L.: Reaching agreement in the presence of faults. JACM 27, 228\u2013234 (1980)","journal-title":"JACM"},{"issue":"5","key":"6_CR43","doi-asserted-by":"publisher","first-page":"745","DOI":"10.1109\/5.220905","volume":"81","author":"M Peercy","year":"1993","unstructured":"Peercy, M., Banerjee, P.: Fault tolerant VLSI systems. Proc. IEEE 81(5), 745\u2013758 (1993)","journal-title":"Proc. IEEE"},{"issue":"1","key":"6_CR44","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1038\/s41467-020-16574-1","volume":"11","author":"J Santos-Moreno","year":"2020","unstructured":"Santos-Moreno, J., Tasiudi, E., Stelling, J., Schaerli, Y.: Multistable and dynamic CRISPRI-based synthetic circuits. Nat. Commun. 11(1), 1\u20138 (2020)","journal-title":"Nat. Commun."},{"issue":"1","key":"6_CR45","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1007\/s004220050541","volume":"81","author":"E Sivan","year":"1999","unstructured":"Sivan, E., Parnas, H., Dolev, D.: Fault tolerance in the cardiac ganglion of the lobster. Biol. Cybern. 81(1), 11\u201323 (1999)","journal-title":"Biol. Cybern."},{"key":"6_CR46","doi-asserted-by":"publisher","first-page":"516","DOI":"10.1038\/nature07389","volume":"456","author":"J Stricker","year":"2008","unstructured":"Stricker, J., Cookson, S., Bennett, M.R., Mather, W.H., Tsimring, L.S., Hasty, J.: A fast, robust and tunable synthetic gene oscillator. Nature 456, 516\u2013519 (2008)","journal-title":"Nature"},{"issue":"6","key":"6_CR47","doi-asserted-by":"publisher","first-page":"720","DOI":"10.1145\/63526.63532","volume":"32","author":"IE Sutherland","year":"1989","unstructured":"Sutherland, I.E.: Micropipelines. CACM 32(6), 720\u2013738 (1989)","journal-title":"CACM"},{"issue":"3","key":"6_CR48","doi-asserted-by":"publisher","first-page":"563","DOI":"10.1016\/0022-5193(73)90247-6","volume":"42","author":"R Thomas","year":"1973","unstructured":"Thomas, R.: Boolean formalization of genetic control circuits. J. Theor. Biol. 42(3), 563\u2013585 (1973)","journal-title":"J. Theor. Biol."},{"issue":"12","key":"6_CR49","doi-asserted-by":"publisher","first-page":"1437","DOI":"10.1109\/T-C.1971.223155","volume":"20","author":"SH Unger","year":"1971","unstructured":"Unger, S.H.: Asynchronous sequential switching circuits with unrestricted input changes. IEEE Trans. Comput. 20(12), 1437\u20131444 (1971)","journal-title":"IEEE Trans. Comput."}],"container-title":["Lecture Notes in Computer Science","Principles of Systems Design"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-22337-2_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,10,11]],"date-time":"2024-10-11T02:54:29Z","timestamp":1728615269000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-22337-2_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9783031223365","9783031223372"],"references-count":49,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-22337-2_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2022]]},"assertion":[{"value":"29 December 2022","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}