{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T16:09:45Z","timestamp":1725466185500},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540643678"},{"type":"electronic","value":"9783540697602"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/bfb0053504","type":"book-chapter","created":{"date-parts":[[2006,6,7]],"date-time":"2006-06-07T05:49:08Z","timestamp":1149659348000},"page":"158-173","source":"Crossref","is-referenced-by-count":1,"title":["Design and evaluation of a visual formalism for real time logics"],"prefix":"10.1007","author":[{"given":"M.","family":"Lusini","sequence":"first","affiliation":[]},{"given":"E.","family":"Vicario","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2006,5,23]]},"reference":[{"key":"13_CR1","doi-asserted-by":"crossref","unstructured":"J.F.Allen \u201cMaintaining Knowledge about Temporal Intervals,\u201d Communications of the ACM, Vol.26, No.11, 1983.","DOI":"10.1145\/182.358434"},{"key":"13_CR2","doi-asserted-by":"crossref","unstructured":"R.Alur, C.Courcoubetis, D.Dill, \u201cModel-Checking for Real-Time Systems,\u201d Proc. 5th Symp. on Logic in Computer Science, Philadelphia, Jun.1990.","DOI":"10.1109\/LICS.1990.113766"},{"key":"13_CR3","doi-asserted-by":"crossref","unstructured":"R.Alur and T.A.Henzinger, \u201cLogics and Models of Real Time: A Survey,\u201d Real-Time: Theory in Practice, J.W. de Bakker, K. Huinzing, W.P.de-Roever, G. Rozenberg (Eds), Lecture Notes in Computer Science 600, Springer Verlag, 1992.","DOI":"10.1007\/BFb0031988"},{"key":"13_CR4","doi-asserted-by":"crossref","unstructured":"R.Alur and T.A.Henzinger, \u201cReal-Time Logics: Complexity and Expressiveness,\u201d Information and Computation, 104(1), 1993.","DOI":"10.1006\/inco.1993.1025"},{"key":"13_CR5","doi-asserted-by":"crossref","unstructured":"B.Berthomieu, and M.Diaz, \u201cModeling and Verification of Time Dependent Systems Using Time Petri Nets,\u201d IEEE Transactions on Software Engineering,Vol.17, No.3, Mar.1991.","DOI":"10.1109\/32.75415"},{"key":"13_CR6","doi-asserted-by":"crossref","unstructured":"G.Bucci, E. Vicario, \u201cCompositional Validation of Time-Dependent Systems Using Communicating Time Petri Nets,\u201d IEEE Transactions on Software Engineering, Vol.21, No.12, Dec.1995.","DOI":"10.1109\/32.489073"},{"key":"13_CR7","doi-asserted-by":"crossref","unstructured":"E.M.Clarke, E.A.Emerson, A.P.Sistla, \u201cAutomatic Verification of Finite-State Concurrent Systems Using Temporal Logic Specifications,\u201d ACM Transactions on Programming Languages and Systems, Vol.8, No.2, Apr. 1986.","DOI":"10.1145\/5397.5399"},{"key":"13_CR8","doi-asserted-by":"crossref","unstructured":"B.Dasarathy, \u201cTiming Constraints of Real-Time Systems: Constructs for Expressing Them, Methods for Validating Them,\u201d IEEE Transactions on Software Engineering, Vol.11, No.1, Jan.1985.","DOI":"10.1109\/TSE.1985.231845"},{"key":"13_CR9","volume-title":"Visual Specification of Branching Time Temporal Logic","author":"A. DelBimbo","year":"1995","unstructured":"A.DelBimbo, L.Rella and E.Vicario, \u201cVisual Specification of Branching Time Temporal Logic,\u201d Proc.Symp on Visual Languages, VL95, Darmstadt, IEEE Comp. Soc. Press, 1995."},{"key":"13_CR10","doi-asserted-by":"crossref","unstructured":"D.Dill, \u201cTiming Assumptions and Verification of Finite State Concurrent Systems,\u201d Proc. Workshop on Computer Aided Verification Methods for Finite State Systems, Grenoble, France, 1989.","DOI":"10.1007\/3-540-52148-8_17"},{"key":"13_CR11","doi-asserted-by":"crossref","unstructured":"D.Harel, \u201cOn Visual Formalism,\u201d Communications of the ACM, Vol.31, No.5, May. 1988.","DOI":"10.1145\/42411.42414"},{"key":"13_CR12","doi-asserted-by":"crossref","unstructured":"A.M.Haber, Y.E.Ioannidis, M.Livny, \u201cFoundations of Visual Metaphors for Schema Display,\u201d Journal of Intelligent Information Systems, Vol.3, Summer 1994.","DOI":"10.1007\/BF00962239"},{"key":"13_CR13","doi-asserted-by":"crossref","unstructured":"G.Kutty, Y.S.Ramakrishna, L.E.Moser, L.K.Dillon, P.M.Melliar Smith, \u201cA Graphical Interval Logic Toolset for Verifying Concurrent Systems,\u201d Proc. of the fourth Workshop on Computer Aided Verification, Montreal, Canada, Jun.1992.","DOI":"10.1007\/3-540-56922-7_12"},{"key":"13_CR14","doi-asserted-by":"crossref","unstructured":"L.Lamport, \u201cTLA in Pictures,\u201d IEEE Transactions on Software Engineering,Vol.21, No.9, Sep.1995.","DOI":"10.1109\/32.464544"},{"key":"13_CR15","doi-asserted-by":"crossref","unstructured":"G.Kutty, L.K.Dillon, L.E.Moser, P.M.Melliar Smith, Y.S.Ramakrishna, \u201cVisual Tools for Temporal reasoning,\u201d Proc. VL'93, Bergen, Norway, 1993.","DOI":"10.1109\/VL.1993.269591"},{"key":"13_CR16","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-0931-7","volume-title":"The Temporal Logic of Reactive and Concurrent Systems","author":"Z. Manna","year":"1992","unstructured":"Z.Manna, A.Pnueli, \u201cThe Temporal Logic of Reactive and Concurrent Systems,\u201d Springer Verlag, New York, 1992."},{"key":"13_CR17","doi-asserted-by":"crossref","unstructured":"L. Moser, Y. S. Ramakrishna, G. Kutty, P. M. Melliar-Smith and L. K. Dillon, \u201cA Graphical Environment for Design of Concurrent Real-Time Systems\u201d, ACM Transactions on Software Engineering and Methodology, Jan. 1997.","DOI":"10.1145\/237432.237438"},{"key":"13_CR18","volume-title":"Usability Engineering","author":"J. Nielsen","year":"1993","unstructured":"J.Nielsen, \u201cUsability Engineering,\u201d Academic Press, San Diego, Calif. 1993."},{"key":"13_CR19","doi-asserted-by":"crossref","unstructured":"J.Nielsen, \u201cIterative User Interface Design,\u201d IEEE Computer, Nov.1993.","DOI":"10.1109\/2.241424"},{"key":"13_CR20","doi-asserted-by":"crossref","unstructured":"J.Nielsen, \u201cThe Usability Engineering Life Cycle,\u201d IEEE Computer, Mar.1992.","DOI":"10.1109\/2.121503"},{"key":"13_CR21","doi-asserted-by":"crossref","unstructured":"A.Pnueli, \u201cThe Temporal Logic of Program,\u201d Proc. 18th Annual Symposium on Foundations of Computer Science, IEEE Comp. Soc. Press, 1977.","DOI":"10.1109\/SFCS.1977.32"},{"key":"13_CR22","doi-asserted-by":"crossref","unstructured":"J.A.Stankovic, K.Ramamritham, \u201cWhat is Predictability for Real Time Systems,\u201d Journal of Real Time Systems, Vol.2, Dec.1990.","DOI":"10.1007\/BF01995673"},{"key":"13_CR23","doi-asserted-by":"crossref","unstructured":"J.A.Stankovic, \u201cMisconceptions About Real Time Computing,\u201d IEEE Computer,Vol.21, No.10, Oct.1988.","DOI":"10.1109\/2.7053"},{"key":"13_CR24","unstructured":"E.R.Tufte, \u201cEnvisioning Information,\u201d Graphic Press, Cheshire (CT), 1990."},{"key":"13_CR25","doi-asserted-by":"crossref","unstructured":"J.Xu, D.Parnas, \u201cOn Satisfying Timing Constraints in Hard Real Time Systems,\u201d IEEE Transactions on Software Engineering, Vol.19, No.1, Jan.1993.","DOI":"10.1109\/32.210308"}],"container-title":["Lecture Notes in Computer Science","Services and Visualization Towards User-Friendly Design"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0053504","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,19]],"date-time":"2019-04-19T06:35:18Z","timestamp":1555655718000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0053504"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540643678","9783540697602"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/bfb0053504","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]}}}