{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,7]],"date-time":"2025-11-07T13:28:22Z","timestamp":1762522102444,"version":"3.28.0"},"reference-count":25,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,9]]},"DOI":"10.1109\/etfa.2017.8247738","type":"proceedings-article","created":{"date-parts":[[2018,1,8]],"date-time":"2018-01-08T17:42:04Z","timestamp":1515433324000},"page":"1-6","source":"Crossref","is-referenced-by-count":5,"title":["Model-based maintenance scheduling in flexible modular automation systems"],"prefix":"10.1109","author":[{"given":"Deepak","family":"Pal","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Juri","family":"Vain","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Seshadhri","family":"Srinivasan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Srini","family":"Ramaswamy","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","article-title":"A Semantic Middleware Supported Receding Horizon Optimal Power Flow in Energy Grids","volume":"no 99","author":"maffei","year":"2017","journal-title":"IEEE Transactions on Industrial Informatics"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2016.2618948"},{"key":"ref12","first-page":"2352","author":"ji","year":"2015","journal-title":"Steel Production Scheduling Based on Priced Timed Automata"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/BEC.2016.7743738"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ISSREW.2014.42"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/j.compind.2015.06.012"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1016\/j.micpro.2015.12.006"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"ref18","article-title":"Model checking of real-time systems based on UPPAAL","author":"qing-lei","year":"2004","journal-title":"Computer Applications"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45351-2_15"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/1059816.1059823"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45319-9_13"},{"key":"ref6","article-title":"Minimum-time reachability for timed automata","author":"niebcrt","year":"2000","journal-title":"Proceedings of MED 2000"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-45212-6_2"},{"journal-title":"The SPIN Model Checker Primer and Reference Manual","year":"2004","author":"holzmann","key":"ref8"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/s100090050010"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2005.11.018"},{"key":"ref9","first-page":"6770","article-title":"Timed automata as an underlying modelfor planning and scheduling","author":"maler","year":"2002","journal-title":"AIPS Workshop on Planning for Temporal Domains"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/ICIINFS.2015.7399051"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45351-2_8"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39799-8_60"},{"key":"ref21","first-page":"332344","article-title":"An Automata-Theoretic Approach to Automatic Program Verification (Preliminary Report)","author":"vardi","year":"1986","journal-title":"LICS IEEE Computer Society"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/ICSESS.2014.6933529"},{"key":"ref23","first-page":"47","article-title":"DIVINE: Parallel Distributed Model Checker (Tool paper)","author":"barnat","year":"2010","journal-title":"Parallel and Distributed Methods in Verification and High Performance Computational Systems Biology (HiBi\/PDMC)"},{"journal-title":"Principles of Model Checking (Representation and Mind Series)","year":"2008","author":"baier","key":"ref25"}],"event":{"name":"2017 22nd IEEE International Conference on Emerging Technologies and Factory Automation (ETFA)","start":{"date-parts":[[2017,9,12]]},"location":"Limassol","end":{"date-parts":[[2017,9,15]]}},"container-title":["2017 22nd IEEE International Conference on Emerging Technologies and Factory Automation (ETFA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8233358\/8247555\/08247738.pdf?arnumber=8247738","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,2,19]],"date-time":"2018-02-19T18:46:48Z","timestamp":1519066008000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8247738\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,9]]},"references-count":25,"URL":"https:\/\/doi.org\/10.1109\/etfa.2017.8247738","relation":{},"subject":[],"published":{"date-parts":[[2017,9]]}}}