{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,27]],"date-time":"2026-10-27T18:29:41Z","timestamp":1793125781419,"version":"4.5.0"},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540755951","type":"print"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-75596-8_38","type":"book-chapter","created":{"date-parts":[[2007,11,3]],"date-time":"2007-11-03T14:03:37Z","timestamp":1194098617000},"page":"533-542","source":"Crossref","is-referenced-by-count":1,"title":["Using Patterns and Composite Propositions to Automate the Generation of LTL Specifications"],"prefix":"10.1007","author":[{"given":"Salamah","family":"Salamah","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ann Q.","family":"Gates","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Vladik","family":"Kreinovich","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Steve","family":"Roach","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"38_CR1","series-title":"Lecture Notes in Computer Science","volume-title":"CAV 1999","author":"A. Cimatti","year":"1999","unstructured":"Cimatti, A., Clarke, E., Giunchiglia, F., Roveri, M.: NUSMV: a new Symbolic Model Verifier. In: Halbwachs, N., Peled, D.A. (eds.) CAV 1999. LNCS, vol.\u00a01633, Springer, Heidelberg (1999)"},{"key":"38_CR2","doi-asserted-by":"crossref","unstructured":"Dwyer, M.B., Avrunin, G.S., Corbett, J.C.: Patterns in Property Specification for Finite State Verification. In: Proceedings of the 21st international conference on Software engineering, Los Angeles, CA, pp. 411\u2013420 (1999)","DOI":"10.1145\/302405.302672"},{"key":"38_CR3","doi-asserted-by":"crossref","unstructured":"Hall, A.: Seven Myths of Formal Methods. IEEE Software\u00a011(8) (1990)","DOI":"10.1109\/52.57887"},{"key":"38_CR4","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 Professional, Reading (2004)"},{"key":"38_CR5","doi-asserted-by":"crossref","unstructured":"Mondragon, O., Gates, A.Q.: Supporting Elicitation and Specification of Software Properties through Patterns and Composite Propositions. Intl. Journal Software Engineering and Knowledge Engineering\u00a014(1) (2004)","DOI":"10.1142\/S0218194004001567"},{"issue":"1","key":"38_CR6","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1016\/0304-3975(91)90041-Y","volume":"83","author":"Z. Manna","year":"1991","unstructured":"Manna, Z., Pnueli, A.: Completing the Temporal Picture. Theoretical Computer Science\u00a083(1), 97\u2013130 (1991)","journal-title":"Theoretical Computer Science"},{"key":"38_CR7","unstructured":"Salamah, I.S.: Defining LTL formulas for complex pattern-based software properties, University of Texas at El Paso, Department of Computer Science, PhD Dissertation, July (2007)"},{"key":"38_CR8","unstructured":"Stolz, V., Bodden, E.: Temporal Assertions using AspectJ. In: Fifth Workshop on Runtime Verification (July 2005)"}],"container-title":["Lecture Notes in Computer Science","Automated Technology for Verification and Analysis"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-75596-8_38.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T10:25:29Z","timestamp":1619519129000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-75596-8_38"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540755951"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-75596-8_38","relation":{},"subject":[]}}