{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:29:14Z","timestamp":1725456554844},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540626008"},{"type":"electronic","value":"9783540683308"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0014717","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T09:12:52Z","timestamp":1132737172000},"page":"87-92","source":"Crossref","is-referenced-by-count":1,"title":["Design tools for hybrid control systems"],"prefix":"10.1007","author":[{"given":"M. S.","family":"Hajji","sequence":"first","affiliation":[]},{"given":"J. M.","family":"Bass","sequence":"additional","affiliation":[]},{"given":"A. R.","family":"Browne","sequence":"additional","affiliation":[]},{"given":"P. J.","family":"Fleming","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,9]]},"reference":[{"key":"11_CR1","first-page":"10","volume":"No. 1","author":"H. Alla","year":"1995","unstructured":"Alla, H., \u201cPetri networks: a tool adapted to modelling hybrid systems\u201d, Revue General de l'Electricite, No. 1, Jan. 1995, pp. 10\u201318.","journal-title":"Revue General de l'Electricite"},{"issue":"4","key":"11_CR2","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1109\/88.345964","volume":"2","author":"J.M. Bass","year":"1994","unstructured":"Bass, J.M., Browne, A.R., Hajji, M.S., Marriot, D.G., Croll, P.R., and Fleming, P.J., \u201cAutomating the Development of Distributed Control Software\u201d, IEEE Parallel & Distributed Technology, 2(4), 1994, pp.9\u201319.","journal-title":"IEEE Parallel & Distributed Technology"},{"key":"11_CR3","doi-asserted-by":"crossref","unstructured":"Bencze, W.J. and Franklin, G.F., \u201cA Separation for Hybrid Control System Design\u201d, IEEE Control Systems, 15(2), 80\u201385.","DOI":"10.1109\/37.375289"},{"issue":"1","key":"11_CR4","first-page":"69","volume":"3","author":"A.R. Browne","year":"1996","unstructured":"Browne, A.R., Bass, J.M., Hajji, M.S., Croll, P.R., and Fleming, P.J., \u201cA Prototype Development Framework for Real-Time Control Software\u201d, Transputer Communications, 3(1), Jan. 1996, pp. 69\u201377.","journal-title":"Transputer Communications"},{"key":"11_CR5","unstructured":"Browne, A.R., Bass, J.M., and Fleming, P.J., \u201cA Building-Block Approach to the Temporal Modelling of Control Software\u201d, IFAC AARTC '97, Portugal, Apr. 97. To appear."},{"issue":"2","key":"11_CR6","doi-asserted-by":"crossref","first-page":"54","DOI":"10.1109\/37.375284","volume":"15","author":"M. Englehart","year":"1995","unstructured":"Englehart, M., and Jackson, M., \u201cControlH: An Algorithm Specification Language and Code Generator\u201d, IEEE Control Systems, 15(2), April 1995, pp 54\u201364","journal-title":"IEEE Control Systems"},{"key":"11_CR7","doi-asserted-by":"crossref","unstructured":"Hajji, M.S., Browne, A.R., Bass, J.M., Schroder, P., Croll, P.R., and Fleming, P.J., \u201cA Prototype Development Framework for Hybrid Control System Design\u201d, IFAC 13th World Cong., June 96, Vol O, pp 459\u201364.","DOI":"10.1016\/S1474-6670(17)58859-X"},{"issue":"no.4","key":"11_CR8","doi-asserted-by":"crossref","first-page":"403","DOI":"10.1109\/32.54292","volume":"16","author":"D. Harel","year":"1990","unstructured":"Harel, D. et al., \u201cStatemate: A Working Environment for the Development of Complex Reactive Systems\u201d, IEEE Trans. on Software Engineering. vol. 16, no. 4, April 1990, pp 403\u2013414.","journal-title":"IEEE Trans. on Software Engineering"},{"key":"11_CR9","unstructured":"Hatley, D.J. and Pirbhai, I.A., \u201cStrategies for Real-Time System Specification\u201d, Dorset House, 1987."},{"key":"11_CR10","unstructured":"i-Logix, (1995). User Reference Manual Vols. 1 &2, Version 6.0, i-Logix, Inc."},{"key":"11_CR11","unstructured":"\u201cSoftware Through Pictures Structural Environment, Release 5\u201d, Interactive Development Environments, San Francisco, U.S. 1994"},{"key":"11_CR12","unstructured":"\u201cSimulink User's Guide, The Mathworks Inc., Natick, MA., U.S., 1992."},{"key":"11_CR13","doi-asserted-by":"crossref","unstructured":"Taylor, J.H. and Kebede, D., \u201cModeling and Simulation of Hybrid Systems in Matlab\u201d, IFAC 13th World Congress, June 96, Vol J, pp 275\u2013280","DOI":"10.1016\/S1474-6670(17)58424-4"},{"key":"11_CR14","series-title":"Hybrid Systems II","first-page":"509","volume-title":"Lec. Note in Comp. Sci. 999","author":"Y.Y. Yang","year":"1995","unstructured":"Yang, Y.Y., Linkens, D.A. and Banks, S.P., \u201cModelling of hybrid systems based on extended coloured Petri nets\u201d, Lec. Note in Comp. Sci. 999, Hybrid Systems II, Antsaklis et. al. (eds.), Springer-Verlag, Germany, 1995, PP. 509\u201328"}],"container-title":["Lecture Notes in Computer Science","Hybrid and Real-Time Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0014717","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T04:47:07Z","timestamp":1586580427000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0014717"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540626008","9783540683308"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/bfb0014717","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}