{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T13:25:45Z","timestamp":1740144345410,"version":"3.37.3"},"reference-count":21,"publisher":"Springer Science and Business Media LLC","issue":"11","license":[{"start":{"date-parts":[[2018,8,4]],"date-time":"2018-08-04T00:00:00Z","timestamp":1533340800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Int J CARS"],"published-print":{"date-parts":[[2018,11]]},"DOI":"10.1007\/s11548-018-1832-5","type":"journal-article","created":{"date-parts":[[2018,8,4]],"date-time":"2018-08-04T03:40:58Z","timestamp":1533354058000},"page":"1755-1766","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Model checking for trigger loss detection during Doppler ultrasound-guided fetal cardiovascular MRI"],"prefix":"10.1007","volume":"13","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-4127-2697","authenticated-orcid":false,"given":"Sven-Thomas","family":"Antoni","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sascha","family":"Lehmann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maximilian","family":"Neidhardt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kai","family":"Fehrs","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christian","family":"Ruprecht","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fabian","family":"Kording","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gerhard","family":"Adam","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sibylle","family":"Schupp","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexander","family":"Schlaefer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,8,4]]},"reference":[{"key":"1832_CR1","doi-asserted-by":"publisher","first-page":"82","DOI":"10.3389\/fbioe.2017.00082","volume":"5","author":"SA Alnuaimi","year":"2017","unstructured":"Alnuaimi SA, Jimaa S, Khandoker AH (2017) Fetal cardiac doppler signal processing techniques: challenges and future research directions. Front Bioeng Biotechnol 5:82","journal-title":"Front Bioeng Biotechnol"},{"issue":"2","key":"1832_CR2","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R Alur","year":"1994","unstructured":"Alur R, Dill DL (1994) A theory of timed automata. Theor Comput Sci 126(2):183\u2013235","journal-title":"Theor Comput Sci"},{"issue":"11","key":"1832_CR3","doi-asserted-by":"publisher","first-page":"2085","DOI":"10.1007\/s11548-016-1423-2","volume":"11","author":"ST Antoni","year":"2016","unstructured":"Antoni ST, Rinast J, Ma X, Schupp S, Schlaefer A (2016) Online model checking for monitoring surrogate-based respiratory motion tracking in radiation therapy. Int J Comput Assist Radiol Surg 11(11):2085\u20132096","journal-title":"Int J Comput Assist Radiol Surg"},{"key":"1832_CR4","volume-title":"Principles of model checking","author":"C Baier","year":"2008","unstructured":"Baier C, Katoen JP (2008) Principles of model checking. The MIT Press, London"},{"key":"1832_CR5","first-page":"153","volume-title":"Industrial applications of model checking","author":"A Cimatti","year":"2001","unstructured":"Cimatti A (2001) Industrial applications of model checking. Springer, Berlin, pp 153\u2013168"},{"issue":"20","key":"1832_CR6","doi-asserted-by":"publisher","first-page":"6043","DOI":"10.1088\/0031-9155\/59\/20\/6043","volume":"59","author":"R D\u00fcrichen","year":"2014","unstructured":"D\u00fcrichen R, Wissel T, Ernst F, Schlaefer A, Schweikard A (2014) Multivariate respiratory motion prediction. Phys Med Biol 59(20):6043\u20136060","journal-title":"Phys Med Biol"},{"key":"1832_CR7","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4614-1912-9","volume-title":"Compensating for quasi-periodic motion in robotic radiosurgery","author":"F Ernst","year":"2012","unstructured":"Ernst F (2012) Compensating for quasi-periodic motion in robotic radiosurgery. Springer, New York"},{"issue":"1","key":"1832_CR8","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1186\/1532-429X-15-41","volume":"15","author":"PF Ferreira","year":"2013","unstructured":"Ferreira PF, Gatehouse PD, Mohiaddin RH, Firmin DN (2013) Cardiovascular magnetic resonance artefacts. J Cardiovasc Magn Reson 15(1):41","journal-title":"J Cardiovasc Magn Reson"},{"issue":"5","key":"1832_CR9","doi-asserted-by":"publisher","first-page":"594","DOI":"10.1016\/S0002-9149(00)01437-5","volume":"87","author":"C Firpo","year":"2001","unstructured":"Firpo C, Hoffman JI, Silverman NH (2001) Evaluation of fetal heart dimensions from 12 weeks to term. Am J Cardiol 87(5):594\u2013600","journal-title":"Am J Cardiol"},{"key":"1832_CR10","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1186\/1532-429X-12-67","volume":"12","author":"T Frauenrath","year":"2010","unstructured":"Frauenrath T, Hezel F, Renz W, d\u2019Orth TdG, Dieringer M, von Knobelsdorff-Brenkenhoff F, Prothmann M, Schulz Menger J, Niendorf T (2010) Acoustic cardiac triggering: a practical solution for synchronization and gating of cardiovascular magnetic resonance at 7 Tesla. J Cardiovasc Magn Reson 12:67","journal-title":"J Cardiovasc Magn Reson"},{"issue":"10","key":"1832_CR11","doi-asserted-by":"publisher","first-page":"1294","DOI":"10.1136\/hrt.2005.069369","volume":"93","author":"LK Hornberger","year":"2007","unstructured":"Hornberger LK, Sahn DJ (2007) Rhythm abnormalities of the fetus. Heart (Br Card Soc) 93(10):1294\u20131300","journal-title":"Heart (Br Card Soc)"},{"issue":"5","key":"1832_CR12","doi-asserted-by":"publisher","first-page":"1304","DOI":"10.1002\/mrm.22542","volume":"64","author":"MS Jansz","year":"2010","unstructured":"Jansz MS, Seed M, van Amerom JFP, Wong D, Grosse-Wortmann L, Yoo SJ, Macgowan CK (2010) Metric optimized gating for fetal cardiac MRI. Magn Reson Med 64(5):1304\u20131314","journal-title":"Magn Reson Med"},{"key":"1832_CR13","first-page":"1291","volume":"74","author":"F Kording","year":"2017","unstructured":"Kording F, Ruprecht C, Schoennagel B, Fehrs K, Yamamura J, Adam G, Goebel J, Nassenstein K, Maderwald S, Quick HH, Kraff O (2017) Doppler ultrasound triggering for cardiac MRI at 7T. Magn Reson Med 74:1291","journal-title":"Magn Reson Med"},{"issue":"S 01","key":"1832_CR14","first-page":"RK205\\_2","volume":"188","author":"F Kording","year":"2016","unstructured":"Kording F, Tavares de Sousa M, Yamamura J, Kladeck M, Gerhard A, Ruprecht C, Schoennagel B (2016) Funktionelle fetale kardiale MRT Bildgebung basierend auf Doppler-Ultraschall: Erste Erfahrungen. Fortschr R\u00f6ntgenstr 188(S 01):RK205\\_2","journal-title":"Fortschr R\u00f6ntgenstr"},{"issue":"6","key":"1832_CR15","doi-asserted-by":"publisher","first-page":"1465","DOI":"10.1007\/s10554-011-9957-4","volume":"28","author":"MS Nacif","year":"2012","unstructured":"Nacif MS, Zavodni A, Kawel N, Choi EY, Lima JAC, Bluemke DA (2012) Cardiac magnetic resonance imaging and its electrocardiographs (ECG): tips and tricks. Int J Cardiovasc Imaging 28(6):1465\u20131475","journal-title":"Int J Cardiovasc Imaging"},{"issue":"9","key":"1832_CR16","doi-asserted-by":"publisher","first-page":"11,271","DOI":"10.3390\/s130911271","volume":"13","author":"MNJ Paley","year":"2013","unstructured":"Paley MNJ, Morris JE, Jarvis D, Griffiths PD (2013) Fetal electrocardiogram (fECG) gated MRI. Sensors (Basel, Switzerland) 13(9):11,271\u201311,279","journal-title":"Sensors (Basel, Switzerland)"},{"issue":"12","key":"1832_CR17","doi-asserted-by":"publisher","first-page":"1333","DOI":"10.1007\/s00247-009-1390-7","volume":"39","author":"A Seeger","year":"2009","unstructured":"Seeger A, Fenchel MC, Greil GF, Martirosian P, Kramer U, Bretschneider C, Doering J, Claussen CD, Sieverding L, Miller S (2009) Three-dimensional cine MRI in free-breathing infants and children with congenital heart disease. Pediatr Radiol 39(12):1333\u20131342","journal-title":"Pediatr Radiol"},{"issue":"4","key":"1832_CR18","first-page":"385","volume":"52","author":"B Sievers","year":"2011","unstructured":"Sievers B, Wiesner M, Kiria N, Speiser U, Schoen S, Strasser RH (2011) Influence of the trigger technique on ventricular function measurements using 3-Tesla magnetic resonance imaging: comparison of ECG versus pulse wave triggering. Acta Radiol (Stockholm, Sweden: 1987) 52(4):385\u2013392","journal-title":"Acta Radiol (Stockholm, Sweden: 1987)"},{"issue":"5","key":"1832_CR19","doi-asserted-by":"publisher","first-page":"1901","DOI":"10.1002\/mrm.25696","volume":"75","author":"M Untenberger","year":"2016","unstructured":"Untenberger M, Tan Z, Voit D, Joseph AA, Roeloffs V, Merboldt KD, Sch\u00e4tz S, Frahm J (2016) Advances in real-time phase-contrast flow MRI using asymmetric radial gradient echoes. Magn Reson Med 75(5):1901\u20131908","journal-title":"Magn Reson Med"},{"issue":"1","key":"1832_CR20","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1002\/mrm.26686","volume":"79","author":"JFP Amerom van","year":"2018","unstructured":"van Amerom JFP, Lloyd DFA, Price AN, Kuklisova Murgasova M, Aljabar P, Malik SJ, Lohezic M, Rutherford MA, Pushparajah K, Razavi R, Hajnal JV (2018) Fetal cardiac cine imaging using highly accelerated dynamic MRI with retrospective motion correction and outlier rejection. Magn Reson Med 79(1):327\u2013338","journal-title":"Magn Reson Med"},{"issue":"5","key":"1832_CR21","doi-asserted-by":"publisher","first-page":"1071","DOI":"10.1002\/jmri.23541","volume":"35","author":"J Yamamura","year":"2012","unstructured":"Yamamura J, Kopp I, Frisch M, Fischer R, Valett K, Hecher K, Adam G, Wedegartner U (2012) Cardiac MRI of the fetal heart using a novel triggering method: initial results in an animal model. J Magn Reson Imaging JMRI 35(5):1071\u20131076","journal-title":"J Magn Reson Imaging JMRI"}],"container-title":["International Journal of Computer Assisted Radiology and Surgery"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11548-018-1832-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11548-018-1832-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11548-018-1832-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,3]],"date-time":"2019-08-03T19:11:39Z","timestamp":1564859499000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11548-018-1832-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,8,4]]},"references-count":21,"journal-issue":{"issue":"11","published-print":{"date-parts":[[2018,11]]}},"alternative-id":["1832"],"URL":"https:\/\/doi.org\/10.1007\/s11548-018-1832-5","relation":{},"ISSN":["1861-6410","1861-6429"],"issn-type":[{"type":"print","value":"1861-6410"},{"type":"electronic","value":"1861-6429"}],"subject":[],"published":{"date-parts":[[2018,8,4]]},"assertion":[{"value":"18 January 2018","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"25 July 2018","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"4 August 2018","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Compliance with ethical standard"}},{"value":"K. Fehrs, F. Kording and C. Ruprecht are the founders of the company northh medical GmbH. The other authors declare that they have no conflict of interest.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of interest"}},{"value":"For this type of study, formal consent is not required.","order":3,"name":"Ethics","group":{"name":"EthicsHeading","label":"Informed consent"}}]}}