{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T14:54:10Z","timestamp":1725807250438},"publisher-location":"Cham","reference-count":31,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319117362"},{"type":"electronic","value":"9783319117379"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-11737-9_15","type":"book-chapter","created":{"date-parts":[[2014,10,15]],"date-time":"2014-10-15T00:52:14Z","timestamp":1413334334000},"page":"219-234","source":"Crossref","is-referenced-by-count":4,"title":["GRL: A Specification Language for Globally Asynchronous Locally Synchronous Systems"],"prefix":"10.1007","author":[{"given":"Fatma","family":"Jebali","sequence":"first","affiliation":[]},{"given":"Fr\u00e9d\u00e9ric","family":"Lang","sequence":"additional","affiliation":[]},{"given":"Radu","family":"Mateescu","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"15_CR1","doi-asserted-by":"crossref","unstructured":"Bae, K., \u00d6lveczky, P.C., Meseguer, J.: Definition, semantics, and analysis of multirate synchronous aadl. In: Proc. of FM. Springer (2014)","DOI":"10.1007\/978-3-319-06410-9_7"},{"issue":"2","key":"15_CR2","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/0167-6423(92)90005-V","volume":"19","author":"G. Berry","year":"1992","unstructured":"Berry, G., Gonthier, G.: The ESTEREL synchronous programming language: design, semantics, implementation. Science of Computer Programming\u00a019(2), 87\u2013152 (1992)","journal-title":"Science of Computer Programming"},{"key":"15_CR3","doi-asserted-by":"crossref","unstructured":"Berry, G., Ramesh, S., Shyamasundar, R.K.: Communicating reactive processes. In: Proc. of POPL, pp. 85\u201398. ACM Press (1993)","DOI":"10.1145\/158511.158526"},{"key":"15_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"110","DOI":"10.1007\/3-540-44798-9_10","volume-title":"Correct Hardware Design and Verification Methods","author":"G. Berry","year":"2001","unstructured":"Berry, G., Sentovich, E.: Multiclock Esterel. In: Margaria, T., Melham, T.F. (eds.) CHARME 2001. LNCS, vol.\u00a02144, pp. 110\u2013125. Springer, Heidelberg (2001)"},{"key":"15_CR5","doi-asserted-by":"crossref","unstructured":"Bultan, T.: Action language: A specification language for model checking reactive systems. In: Proc. of ICSE. ACM (2000)","DOI":"10.1145\/337180.337219"},{"key":"15_CR6","doi-asserted-by":"crossref","unstructured":"Carlsson, J., Palmkvist, K., Wanhammar, L.: Synchronous design flow for Globally Asynchronous Locally Synchronous systems. In: Proc. of ICC, WSEAS (2006)","DOI":"10.1109\/NORCHP.2006.329234"},{"key":"15_CR7","unstructured":"Champelovier, D., Clerc, X., Garavel, H., Guerte, Y., McKinty, C., Powazny, V., Lang, F., Serwe, W., Smeding, G.: Reference manual of the LOTOS NT to LOTOS translator (version 5.4). INRIA\/VASY (September 2011)"},{"key":"15_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"204","DOI":"10.1007\/978-3-642-02658-4_18","volume-title":"Computer Aided Verification","author":"N. Coste","year":"2009","unstructured":"Coste, N., Hermanns, H., Lantreibecq, E., Serwe, W.: Towards Performance Prediction of Compositional Models in Industrial GALS Designs. In: Bouajjani, A., Maler, O. (eds.) CAV 2009. LNCS, vol.\u00a05643, pp. 204\u2013218. Springer, Heidelberg (2009)"},{"issue":"2","key":"15_CR9","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1016\/j.entcs.2005.05.038","volume":"146","author":"F. Doucet","year":"2006","unstructured":"Doucet, F., Menarini, M., Kr\u00fcger, I.H., Gupta, R.K., Talpin, J.-P.: A verification approach for GALS integration of synchronous components. Electr. Notes Theor. Comput. Sci.\u00a0146(2), 105\u2013131 (2006)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"15_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1007\/3-540-45937-5_3","volume-title":"Compiler Construction","author":"H. Garavel","year":"2002","unstructured":"Garavel, H., Lang, F., Mateescu, R.: Compiler Construction Using LOTOS NT. In: Nigel Horspool, R. (ed.) CC 2002. LNCS, vol.\u00a02304, p. 9. Springer, Heidelberg (2002)"},{"issue":"2","key":"15_CR11","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1007\/s10009-012-0244-z","volume":"15","author":"H. Garavel","year":"2013","unstructured":"Garavel, H., Lang, F., Mateescu, R., Serwe, W.: CADP 2011: A Toolbox for the Construction and Analysis of Distributed Processes. STTT\u00a015(2), 89\u2013107 (2013)","journal-title":"STTT"},{"key":"15_CR12","doi-asserted-by":"crossref","unstructured":"Garavel, H., Salaun, G., Serwe, W.: On the Semantics of Communicating Hardware Processes and their Translation into LOTOS for the Verification of Asynchronous Circuits with CADP. In: Science of Computer Programming (2009)","DOI":"10.1016\/j.scico.2008.09.011"},{"key":"15_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1007\/978-3-642-02652-2_20","volume-title":"Model Checking Software","author":"H. Garavel","year":"2009","unstructured":"Garavel, H., Thivolle, D.: Verification of GALS Systems by Combining Synchronous Languages and Process Calculi. In: P\u0103s\u0103reanu, C.S. (ed.) Model Checking Software. LNCS, vol.\u00a05578, pp. 241\u2013260. Springer, Heidelberg (2009)"},{"issue":"3","key":"15_CR14","doi-asserted-by":"crossref","first-page":"314","DOI":"10.1007\/s100090100044","volume":"3","author":"H. Garavel","year":"2001","unstructured":"Garavel, H., Viho, C., Zendri, M.: System design of a CC-NUMA multiprocessor architecture using formal specification, model-checking, co-simulation, and test generation. STTT\u00a03(3), 314\u2013331 (2001)","journal-title":"STTT"},{"key":"15_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"266","DOI":"10.1007\/3-540-45828-X_20","volume-title":"Embedded Software","author":"A. Girault","year":"2002","unstructured":"Girault, A., M\u00e9nier, C.: Automatic Production of Globally Asynchronous Locally Synchronous Systems. In: Sangiovanni-Vincentelli, A.L., Sifakis, J. (eds.) EMSOFT 2002. LNCS, vol.\u00a02491, pp. 266\u2013281. Springer, Heidelberg (2002)"},{"key":"15_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1007\/978-3-642-33678-2_25","volume-title":"SAFECOMP","author":"H. G\u00fcnther","year":"2012","unstructured":"G\u00fcnther, H., Milius, S., M\u00f6ller, O.: On the Formal Verification of Systems of Synchronous Software Components. In: Ortmeier, F., Lipaczewski, M. (eds.) SAFECOMP 2012. LNCS, vol.\u00a07612, pp. 291\u2013304. Springer, Heidelberg (2012)"},{"issue":"3","key":"15_CR17","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D. Harel","year":"1987","unstructured":"Harel, D.: Statecharts: A visual formalism for complex systems. Science of Computer Programming\u00a08(3), 231\u2013274 (1987)","journal-title":"Science of Computer Programming"},{"issue":"3","key":"15_CR18","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1145\/234426.234431","volume":"5","author":"C.L. Heitmeyer","year":"1996","unstructured":"Heitmeyer, C.L., Jeffords, R.D., Labaw, B.G.: Automated consistency checking of requirements specifications. ACM Trans. on Software Engineering and Methodology\u00a05(3), 231\u2013261 (1996)","journal-title":"ACM Trans. on Software Engineering and Methodology"},{"issue":"8","key":"15_CR19","doi-asserted-by":"publisher","first-page":"666","DOI":"10.1145\/359576.359585","volume":"21","author":"C.A.R. Hoare","year":"1978","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Communications of the ACM\u00a021(8), 666\u2013677 (1978)","journal-title":"Communications of the ACM"},{"key":"15_CR20","doi-asserted-by":"crossref","unstructured":"Holzmann, G.J.: The model checker SPIN. IEEE Transactions on Software Engineering\u00a023(5) (1997)","DOI":"10.1109\/32.588521"},{"key":"15_CR21","doi-asserted-by":"crossref","unstructured":"Jebali, F., Lang, F., Mateescu, R.: GRL: A Specification Language for Globally Asynchronous Locally Synchronous Systems. Research Report 8527, Inria (April 2014), http:\/\/hal.inria.fr\/hal-00983711","DOI":"10.1007\/978-3-319-11737-9_15"},{"key":"15_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"180","DOI":"10.1007\/978-3-642-24431-5_14","volume-title":"Formal Methods for Industrial Critical Systems","author":"E. Lantreibecq","year":"2011","unstructured":"Lantreibecq, E., Serwe, W.: Model Checking and Co-simulation of a Dynamic Task Dispatcher Circuit Using CADP. In: Sala\u00fcn, G., Sch\u00e4tz, B. (eds.) FMICS 2011. LNCS, vol.\u00a06959, pp. 180\u2013195. Springer, Heidelberg (2011)"},{"issue":"9","key":"15_CR23","doi-asserted-by":"publisher","first-page":"684","DOI":"10.1109\/32.317428","volume":"20","author":"N.G. Leveson","year":"1994","unstructured":"Leveson, N.G., Heimdahl, M.P.E., Hildreth, H., Reese, J.D.: Requirements specification for process-control systems. IEEE Trans. on Software Engineering\u00a020(9), 684\u2013707 (1994)","journal-title":"IEEE Trans. on Software Engineering"},{"issue":"4","key":"15_CR24","first-page":"317","volume":"36","author":"A. Malik","year":"2010","unstructured":"Malik, A., Salcic, Z., Roop, P.S., Girault, A.: SystemJ: A GALS language for system level design. Comput. Lang. Syst. Struct.\u00a036(4), 317\u2013344 (2010)","journal-title":"Comput. Lang. Syst. Struct."},{"key":"15_CR25","doi-asserted-by":"crossref","unstructured":"Miller, S., Anderson, E., Wagner, L., Whalen, M., Heimdahl, M.: Formal verification of flight critical software. In: Proc. of the AIAA Guidance, Navigation and Control Conference and Exhibit (2005)","DOI":"10.2514\/6.2005-6431"},{"key":"15_CR26","unstructured":"Mousavi, M.R., Le Guernic, P., Talpin, J.-P., Shukla, S.K., Basten, T.: Modeling and Validating Globally Asynchronous Design in Synchronous Frameworks. In: Proc. of DATE. IEEE Computer Society (2004)"},{"key":"15_CR27","doi-asserted-by":"crossref","unstructured":"Moutinho, F., Gomes, L.: State space generation for Petri nets-based GALS systems. In: Proc. of ICIT (2012)","DOI":"10.1109\/ICIT.2012.6210007"},{"key":"15_CR28","unstructured":"Muttersbach, J., Villiger, T., Fichtner, W.: Practical design of globally-asynchronous locally-synchronous systems. In: Proc. of the International Symposium on Advanced Research in Asynchronous Circuits and Systems (2000)"},{"key":"15_CR29","doi-asserted-by":"crossref","unstructured":"Ramesh, S.: Communicating reactive state machines: Design, model and implementation. In: IFAC Workshop on Distributed Computer Control Systems (1998)","DOI":"10.1016\/S1474-6670(17)36343-7"},{"key":"15_CR30","unstructured":"Singh, M., Theobald, M.: Generalized latency-insensitive systems for single-clock and multi-clock architectures. In: Proc. of DATE, vol.\u00a02. IEEE (2004)"},{"issue":"6","key":"15_CR31","doi-asserted-by":"publisher","first-page":"1465","DOI":"10.1109\/TSMCC.2012.2191404","volume":"42","author":"L.H. Yoong","year":"2012","unstructured":"Yoong, L.H., Shaw, G., Roop, P.S., Salcic, Z.: Synthesizing Globally Asynchronous Locally Synchronous Systems With IEC 61499. IEEE Transactions on Systems, Man, and Cybernetics, Part C\u00a042(6), 1465\u20131477 (2012)","journal-title":"IEEE Transactions on Systems, Man, and Cybernetics, Part C"}],"container-title":["Lecture Notes in Computer Science","Formal Methods and Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-11737-9_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,25]],"date-time":"2020-08-25T20:35:08Z","timestamp":1598387708000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-11737-9_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319117362","9783319117379"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-11737-9_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}