{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T08:24:28Z","timestamp":1725438268420},"reference-count":13,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/mascot.2003.1240656","type":"proceedings-article","created":{"date-parts":[[2004,6,22]],"date-time":"2004-06-22T16:27:43Z","timestamp":1087921663000},"page":"188-193","source":"Crossref","is-referenced-by-count":5,"title":["Twotowers 3.0: enhancing usability"],"prefix":"10.1109","author":[{"given":"M.","family":"Bernardo","sequence":"first","affiliation":[]}],"member":"263","reference":[{"key":"ref10","article-title":"Interactive Markov Chains","author":"hermanns","year":"2002","journal-title":"LNCS 2428"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511569951"},{"article-title":"TIPPtool - User's Guide","year":"1998","author":"klehmet","key":"ref12"},{"article-title":"Software Architecture: Perspectives on an Emerging Discipline","year":"1996","author":"shaw","key":"ref13"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(01)00090-1"},{"key":"ref3","article-title":"Symbolic Semantic Rules for Producing Compact STGLA from Value Passing Process Descriptions","author":"bernardo","year":"2003","journal-title":"to appear in ACM Trans on Computational Logic"},{"article-title":"NuSMV 2.1 User Manual","year":"2002","author":"cavada","key":"ref6"},{"key":"ref5","doi-asserted-by":"crossref","first-page":"236","DOI":"10.1007\/3-540-45798-4_11","article-title":"Stochastic Process Algebra: From an Algebraic Formalism to an Architectural Description Language","author":"bernardo","year":"2002","journal-title":"LNCS 2459 Performance evaluation of complex systems Techniques and Tools"},{"article-title":"The PEPA Workbench User Manual","year":"2001","author":"gilmore","key":"ref8"},{"article-title":"The Concurrency Workbench of the New Century - Version 1.2 - User's Manual","year":"2000","author":"cleaveland","key":"ref7"},{"article-title":"TwoTowers 2.0 User Manual","year":"2002","author":"bernardo","key":"ref2"},{"key":"ref1","first-page":"209","article-title":"Performance Evaluation at the Software Architecture Level","author":"balsamo","year":"2003","journal-title":"Formal Methods for Software Architectures (SFM) LNCS 2804"},{"key":"ref9","first-page":"121","article-title":"Multiproces-Sor and Distributed System Design: the Integration of Functional Specification and Performance Analysis using Stochastic Process Algebras","author":"g\u00f6tz","year":"1993","journal-title":"Proc of PERFORMANCE 1993 LNCS 729"}],"event":{"name":"11th IEEE\/ACM International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems - MASCOTS","acronym":"MASCOT-03","location":"Orlando, FL, USA"},"container-title":["11th IEEE\/ACM International Symposium on Modeling, Analysis and Simulation of Computer Telecommunications Systems, 2003. MASCOTS 2003."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8783\/27814\/01240656.pdf?arnumber=1240656","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T04:16:32Z","timestamp":1497586592000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1240656\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":13,"URL":"https:\/\/doi.org\/10.1109\/mascot.2003.1240656","relation":{},"subject":[]}}