{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,25]],"date-time":"2025-09-25T17:09:19Z","timestamp":1758820159683},"reference-count":36,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2009,11,16]],"date-time":"2009-11-16T00:00:00Z","timestamp":1258329600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int J Softw Tools Technol Transfer"],"published-print":{"date-parts":[[2010,9]]},"DOI":"10.1007\/s10009-009-0129-y","type":"journal-article","created":{"date-parts":[[2009,11,15]],"date-time":"2009-11-15T10:20:36Z","timestamp":1258280436000},"page":"305-318","source":"Crossref","is-referenced-by-count":8,"title":["Synthesis and stochastic assessment of cost-optimal schedules"],"prefix":"10.1007","volume":"12","author":[{"given":"Angelika","family":"Mader","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Henrik","family":"Bohnenkamp","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yaroslav S.","family":"Usenko","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David N.","family":"Jansen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Johann","family":"Hurink","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Holger","family":"Hermanns","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2009,11,16]]},"reference":[{"issue":"2","key":"129_CR1","doi-asserted-by":"crossref","first-page":"272","DOI":"10.1016\/j.tcs.2005.11.018","volume":"354","author":"Y. Abdedda\u00efm","year":"2006","unstructured":"Abdedda\u00efm Y., Asarin E., Maler O.: Scheduling with timed automata. Theor. Comput. Sci. 354(2), 272\u2013300 (2006)","journal-title":"Theor. Comput. Sci."},{"key":"129_CR2","first-page":"478","volume-title":"Computer Aided Verification. LNCS, vol. 2102","author":"Y. Abdedda\u00efm","year":"2001","unstructured":"Abdedda\u00efm Y., Maler O.: Job-shop scheduling using timed automata. In: Berry, G., Comon, H., Finkel, A. (eds) Computer Aided Verification. LNCS, vol. 2102, pp. 478\u2013492. Springer, Berlin (2001)"},{"issue":"2","key":"129_CR3","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R. Alur","year":"1994","unstructured":"Alur R., Dill D.L.: A theory of timed automata. Theor. Comput. Sci. 126(2), 183\u2013235 (1994)","journal-title":"Theor. Comput. Sci."},{"key":"129_CR4","volume-title":"Hybrid Systems: Computation and Control 2001. LNCS, vol. 2034","author":"R. Alur","year":"2001","unstructured":"Alur R., Torre S., Pappas G.J.: Optimal paths in weighted timed automata. In: Di Benedetto , M.D., Sangiovanni-Vincentelli, A. (eds) Hybrid Systems: Computation and Control 2001. LNCS, vol. 2034, Springer, Berlin (2001)"},{"key":"129_CR5","unstructured":"AMETIST, IST project ist-2001-35304. http:\/\/ametist.cs.utwente.nl\/"},{"key":"129_CR6","first-page":"99","volume-title":"MOVEP 2000. LNCS, vol. 2067","author":"T. Amnell","year":"2001","unstructured":"Amnell T., Behrmann G., Bengtsson J., D\u2019Argenio P.R., David A., Fehnker A., Hune T., Jeannet B., Larsen K.G., M\u00f6ller M.O., Pettersson P., Weise C., Yi W.: UPPAAL: Now, next, and future. In: Cassez, F., Jard, C., Rozoy, B., Ryan, M. (eds) MOVEP 2000. LNCS, vol. 2067, pp. 99\u2013124. Springer, Berlin (2001)"},{"key":"129_CR7","doi-asserted-by":"crossref","unstructured":"Behrmann, G., Brinksma, H., Hendriks, M., Mader, A.: Production scheduling by reachability analysis: a case study. In: WPDRTS \u201905. IEEE Computer Society, Los alamitos (2005)","DOI":"10.1109\/IPDPS.2005.363"},{"key":"129_CR8","doi-asserted-by":"crossref","unstructured":"Behrmann, G., Brinksma, H., Hendriks, M., Mader, A.: Scheduling lacquer production by reachability analysis: a case study. In: Horacek, P., Simandl, M., Zitek, P. (eds.) 16th IFAC World Congress. International Federation of Automatic Control (2005)","DOI":"10.3182\/20050703-6-CZ-1902.01433"},{"key":"129_CR9","doi-asserted-by":"crossref","first-page":"200","DOI":"10.1007\/978-3-540-30080-9_7","volume-title":"Formal Methods for the Design of Real-Time Systems 2004. LNCS, vol. 3185","author":"G. Behrmann","year":"2004","unstructured":"Behrmann G., David A., Larsen K.G.: A tutorial on Uppaal. In: Bernardo , M., Corradini, F. (eds) Formal Methods for the Design of Real-Time Systems 2004. LNCS, vol. 3185, pp. 200\u2013236. Springer, Berlin (2004)"},{"key":"129_CR10","doi-asserted-by":"crossref","unstructured":"Behrmann, G., Fehnker, A., Hune, T., Larsen, K.G., Petterson, P., Romijn, J.: Guiding and cost-optimality in Uppaal. In: Khatib, L., Pecheur, C., (eds.) Model-Based Validation of Intelligence: Papers from 2001 AAAI Spring Symposium. AAAI, Menlo Park (2001)","DOI":"10.7146\/brics.v8i4.20458"},{"issue":"4","key":"129_CR11","doi-asserted-by":"crossref","first-page":"34","DOI":"10.1145\/1059816.1059823","volume":"32","author":"G. Behrmann","year":"2005","unstructured":"Behrmann G., Larsen K.G., Rasmussen J.I.: Optimal scheduling using priced timed automata. SIGMETRICS Perform. Eval. Rev. 32(4), 34\u201340 (2005)","journal-title":"SIGMETRICS Perform. Eval. Rev."},{"issue":"10","key":"129_CR12","doi-asserted-by":"crossref","first-page":"812","DOI":"10.1109\/TSE.2006.104","volume":"32","author":"H. Bohnenkamp","year":"2006","unstructured":"Bohnenkamp H., d\u2019Argenio P.R., Hermanns H., Katoen J.-P.: MoDeST: a compositional modeling formalism for real-time and stochastic systems. IEEE Trans. Soft. Eng. 32(10), 812\u2013830 (2006)","journal-title":"IEEE Trans. Soft. Eng."},{"key":"129_CR13","doi-asserted-by":"crossref","unstructured":"Bohnenkamp, H., Hermanns, H., Katoen, J.-P.: Motor: The MoDeST tool environment. In: Proceedings of TACAS \u201907. LNCS, vol. 4424, pp. 500\u2013504. Springer, Berlin (2007)","DOI":"10.1007\/978-3-540-71209-1_38"},{"key":"129_CR14","first-page":"116","volume-title":"TOOLS \u201903. LNCS, vol. 2794","author":"H. Bohnenkamp","year":"2003","unstructured":"Bohnenkamp H., Hermanns H., Katoen J.-P., Klaren R.: The Modest modeling tool and its implementation. In: Kemper, P., Sanders, W.H. (eds) TOOLS \u201903. LNCS, vol. 2794, pp. 116\u2013133. Springer, Berlin (2003)"},{"key":"129_CR15","doi-asserted-by":"crossref","unstructured":"Bohnenkamp, H., Hermanns, H., Klaren, R., Mader, A., Usenko, Y.S.: Synthesis and stochastic assessment of schedules for lacquer production. In: QEST \u201904, pp. 28\u201337. IEEE Computer Society, Los Alamitos (2004)","DOI":"10.1109\/QEST.2004.1348013"},{"key":"129_CR16","volume-title":"Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications","author":"G.C. Butazzo","year":"1997","unstructured":"Butazzo G.C.: Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications. Kluwer, Dordrecht (1997)"},{"issue":"4","key":"129_CR17","doi-asserted-by":"crossref","first-page":"635","DOI":"10.1017\/S0269964806060396","volume":"20","author":"X.Q. Cai","year":"2006","unstructured":"Cai X.Q., Zhou X.: Stochastic scheduling with asymmetric earliness and tardiness penalties under random machine breakdowns. Probab. Eng. Inf. Sci. 20(4), 635\u2013654 (2006)","journal-title":"Probab. Eng. Inf. Sci."},{"key":"129_CR18","first-page":"87","volume-title":"Process Algebra and Probabilistic Methods: \u2026 PAPM\u2013PROBMIV. LNCS, vol. 2165","author":"P.R. D\u2019Argenio","year":"2001","unstructured":"D\u2019Argenio P.R., Hermanns H., Katoen J.-P., Klaren J.: MoDeST: a modelling and description language for stochastic timed systems. In: de alfaro, L., Gilmore, S. (eds) Process Algebra and Probabilistic Methods: \u2026 PAPM\u2013PROBMIV. LNCS, vol. 2165, pp. 87\u2013104. Springer, Berlin (2001)"},{"issue":"10","key":"129_CR19","doi-asserted-by":"crossref","first-page":"956","DOI":"10.1109\/TSE.2002.1041052","volume":"28","author":"D.D. Deavours","year":"2002","unstructured":"Deavours D.D., Clark G., Courtney T., Daly D., Derasavi S., Doyle J.M., Sanders W.H., Webster P.G.: The M\u00f6bius framework and its implementation. IEEE Trans. Soft. Eng. 28(10), 956\u2013969 (2002)","journal-title":"IEEE Trans. Soft. Eng."},{"key":"129_CR20","volume-title":"Project Scheduling: A Research Handbook","author":"E.L. Demeulemeester","year":"2002","unstructured":"Demeulemeester E.L., Herroelen W.S.: Project Scheduling: A Research Handbook. Kluwer, Boston (2002)"},{"key":"129_CR21","doi-asserted-by":"crossref","unstructured":"Fehnker, A.: Scheduling a steel plant with timed automata. In: Sixth International Conference on Real-Time Computing Systems and Applications: RTCSA, pp. 280\u2013286. IEEE Computer Society, Los Alamitos (1999)","DOI":"10.1109\/RTCSA.1999.811256"},{"key":"129_CR22","unstructured":"Gao, H.: Building robust schedules using temporal protection\u2014an empirical study of constrained based scheduling under machine failure uncertainty. Master\u2019s thesis, Department of Industrial Engineering, University of Toronto (1995)"},{"key":"129_CR23","volume-title":"Performance Modelling of Communication Networks and Computer Architectures","author":"P.G. Harrison","year":"1993","unstructured":"Harrison P.G., Patel N.M.: Performance Modelling of Communication Networks and Computer Architectures. Addison-Wesley, Wokingham (1993)"},{"issue":"8","key":"129_CR24","doi-asserted-by":"crossref","first-page":"1599","DOI":"10.1080\/00207540310001638055","volume":"42","author":"W. Herroelen","year":"2004","unstructured":"Herroelen W., Leus R.: Robust and reactive project scheduling: a review and classification of procedures. Int. J. Prod. Res. 42(8), 1599\u20131620 (2004)","journal-title":"Int. J. Prod. Res."},{"issue":"2","key":"129_CR25","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1016\/j.ejor.2004.04.002","volume":"165","author":"W. Herroelen","year":"2005","unstructured":"Herroelen W., Leus R.: Project scheduling under uncertainty: survey and research potentials. Eur. J. Oper. Res. 165(2), 289\u2013306 (2005)","journal-title":"Eur. J. Oper. Res."},{"key":"129_CR26","volume-title":"The SPIN Model Checker: Primer and Reference Manual","author":"G.J. Holzmann","year":"2004","unstructured":"Holzmann G.J.: The SPIN Model Checker: Primer and Reference Manual. Addison-Wesley, Boston (2004)"},{"issue":"2","key":"129_CR27","doi-asserted-by":"crossref","first-page":"493","DOI":"10.1016\/j.ijpe.2007.02.003","volume":"111","author":"O. Lambrechts","year":"2008","unstructured":"Lambrechts O., Demeulemeester E., Herroelen W.: A tabu search procedure for developing robust predictive project schedules. Int. J. Prod. Econ. 111(2), 493\u2013508 (2008)","journal-title":"Int. J. Prod. Econ."},{"key":"129_CR28","volume-title":"Concurrency: State Models and Java Programs","author":"J. Magee","year":"1999","unstructured":"Magee J., Kramer J.: Concurrency: State Models and Java Programs. Wiley, Chichester (1999)"},{"issue":"3","key":"129_CR29","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1109\/70.678447","volume":"14","author":"S.V. Mehta","year":"1998","unstructured":"Mehta S.V., Uzsoy R.M.: Predictable scheduling of a job shop subject to breakdowns. IEEE Trans. Robot. Autom. 14(3), 365\u2013378 (1998)","journal-title":"IEEE Trans. Robot. Autom."},{"issue":"1","key":"129_CR30","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1080\/095119299130443","volume":"12","author":"S.V. Mehta","year":"1999","unstructured":"Mehta S.V., Uzsoy R.M.: Predictable scheduling of a single machine subject to breakdowns. Int. J. Comput. Integr. Manuf. 12(1), 15\u201338 (1999)","journal-title":"Int. J. Comput. Integr. Manuf."},{"key":"129_CR31","unstructured":"MoDeST site. http:\/\/www.purl.com\/net\/modest"},{"key":"129_CR32","first-page":"1033","volume-title":"ESCAPE-15, A\/B of Computer-aided chemical engineering, vol. 20","author":"S. Panek","year":"2005","unstructured":"Panek S., Engell S., Lessner C.: Scheduling of a pipeless multi-product batch plant using mixed-integer programming combined with heuristics. In: Puigjaner, L., Espu\u00f1a, A. (eds) ESCAPE-15, A\/B of Computer-aided chemical engineering, vol. 20, pp. 1033\u20131038. Elsevier, Amsterdam (2005)"},{"key":"129_CR33","volume-title":"Planning and Scheduling in Manufacturing and Services","author":"M.L. Pinedo","year":"2005","unstructured":"Pinedo M.L.: Planning and Scheduling in Manufacturing and Services. Springer Series in Operations Research and Financial Engineering, New York (2005)"},{"key":"129_CR34","unstructured":"Stork, F.: Stochastic Resource-Constrained Project Scheduling. Ph.D. thesis, Technical University of Berlin (2001)"},{"key":"129_CR35","unstructured":"UPPAAL CORA site. http:\/\/www.cs.aau.dk\/~behrmann\/cora\/"},{"key":"129_CR36","unstructured":"UPPAAL home page. http:\/\/www.uppaal.com"}],"container-title":["International Journal on Software Tools for Technology Transfer"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-009-0129-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10009-009-0129-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-009-0129-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T07:25:25Z","timestamp":1559114725000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10009-009-0129-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,11,16]]},"references-count":36,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2010,9]]}},"alternative-id":["129"],"URL":"https:\/\/doi.org\/10.1007\/s10009-009-0129-y","relation":{},"ISSN":["1433-2779","1433-2787"],"issn-type":[{"value":"1433-2779","type":"print"},{"value":"1433-2787","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,11,16]]}}}