{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T01:15:42Z","timestamp":1742951742555,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642023507"},{"type":"electronic","value":"9783642023514"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-02351-4_6","type":"book-chapter","created":{"date-parts":[[2009,6,17]],"date-time":"2009-06-17T07:16:01Z","timestamp":1245222961000},"page":"86-100","source":"Crossref","is-referenced-by-count":0,"title":["Compositional Prediction of Timed Behaviour for Process Control Architecture"],"prefix":"10.1007","author":[{"given":"Kenneth","family":"Chan","sequence":"first","affiliation":[]},{"given":"Iman","family":"Poernomo","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"1","key":"6_CR1","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.jss.2008.03.066","volume":"82","author":"S. Becker","year":"2009","unstructured":"Becker, S., Koziolek, H., Reussner, R.: The palladio component model for model-driven performance prediction. Journal of Systems and Software\u00a082(1), 3\u201322 (2009)","journal-title":"Journal of Systems and Software"},{"key":"6_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1007\/11558569_5","volume-title":"Quality of Software Architectures and Software Quality","author":"K. Chan","year":"2005","unstructured":"Chan, K., Poernomo, I.H., Schmidt, H., Jayaputera, J.: A model-oriented framework for runtime monitoring of nonfunctional properties. In: Reussner, R., Mayer, J., Stafford, J.A., Overhage, S., Becker, S., Schroeder, P.J. (eds.) QoSA 2005 and SOQUA 2005. LNCS, vol.\u00a03712, pp. 38\u201352. Springer, Heidelberg (2005)"},{"key":"6_CR3","unstructured":"Genssler, T., Christoph, A., Schulz, B.: PECOS in a nutshell (2002)"},{"issue":"5","key":"6_CR4","doi-asserted-by":"publisher","first-page":"512","DOI":"10.1007\/BF01211866","volume":"6","author":"H. Hansson","year":"1994","unstructured":"Hansson, H., Jonsson, B.: A logic for reasoning about time and reliability. Formal Aspects of Computing\u00a06(5), 512\u2013535 (1994)","journal-title":"Formal Aspects of Computing"},{"issue":"4","key":"6_CR5","doi-asserted-by":"publisher","first-page":"633","DOI":"10.1142\/S0218843006001517","volume":"15","author":"I. Poernomo","year":"2006","unstructured":"Poernomo, I., Schmidt, H.W., Jayaputera, J.: Verification and prediction of timed probabilistic properties over the dmtf cim. International Journal of Cooperative Information Systems\u00a015(4), 633\u2013658 (2006)","journal-title":"International Journal of Cooperative Information Systems"},{"issue":"3","key":"6_CR6","first-page":"241","volume":"66","author":"R. Reussner","year":"2003","unstructured":"Reussner, R., Schmidt, H., Poernomo, I.: Reliability prediction for component-based software architectures. Journal of Systems and Software \u2013 Special Issue of Software Architecture - Engineering Quality Attributes\u00a066(3), 241\u2013252 (2003)","journal-title":"Journal of Systems and Software \u2013 Special Issue of Software Architecture - Engineering Quality Attributes"},{"key":"6_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"310","DOI":"10.1007\/978-3-540-24626-8_22","volume-title":"Radical Innovations of Software and Systems Engineering in the Future","author":"H.W. Schmidt","year":"2004","unstructured":"Schmidt, H.W., Kr\u00e4mer, B.J., Poernomo, I.H., Reussner, R.: Predictable component architectures using dependent finite state machines. In: Wirsing, M., Knapp, A., Balsamo, S. (eds.) RISSEF 2002. LNCS, vol.\u00a02941, pp. 310\u2013324. Springer, Heidelberg (2004)"},{"key":"6_CR8","first-page":"339","volume-title":"Proc. Ninth IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2003)","author":"H.W. Schmidt","year":"2004","unstructured":"Schmidt, H.W., Peake, I.D., Xie, J., Thomas, I., Kr\u00e4mer, B.J., Fay, A., Bort, P.: Modelling predictable component-based distributed control architectures. In: Proc. Ninth IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2003), pp. 339\u2013346. IEEE, Los Alamitos (2004)"},{"key":"6_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1007\/3-540-45657-0_17","volume-title":"Computer Aided Verification","author":"H. Younes","year":"2002","unstructured":"Younes, H., Simmons, R.: Probabilistic verification of discrete event systems using acceptance sampling. In: Brinksma, E., Larsen, K.G. (eds.) CAV 2002. LNCS, vol.\u00a02404, pp. 223\u2013235. Springer, Heidelberg (2002)"}],"container-title":["Lecture Notes in Computer Science","Architectures for Adaptive Software Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-02351-4_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,8]],"date-time":"2019-03-08T16:07:55Z","timestamp":1552061275000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-02351-4_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642023507","9783642023514"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-02351-4_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}