{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,22]],"date-time":"2025-02-22T05:38:21Z","timestamp":1740202701737,"version":"3.37.3"},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642138607"},{"type":"electronic","value":"9783642138614"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-13861-4_13","type":"book-chapter","created":{"date-parts":[[2010,6,16]],"date-time":"2010-06-16T13:09:00Z","timestamp":1276693740000},"page":"131-140","source":"Crossref","is-referenced-by-count":2,"title":["Linking Simulation with Formal Verification and Modeling of Wireless Sensor Network in TLA+"],"prefix":"10.1007","author":[{"given":"Jerzy","family":"Martyna","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"13_CR1","volume-title":"The TLA+ Language and Tools for Hardware and Software Engineers","author":"L. Lamport","year":"2003","unstructured":"Lamport, L.: Specifying Systems. In: The TLA+ Language and Tools for Hardware and Software Engineers. Addison-Wesley, Boston (2003)"},{"key":"13_CR2","doi-asserted-by":"publisher","first-page":"393","DOI":"10.1016\/S1389-1286(01)00302-4","volume":"38","author":"I.F. Akyildiz","year":"2002","unstructured":"Akyildiz, I.F., Su, W., Sankarasubramaniam, Z., Cayirci, E.: Wireless Sensor Networks. Computer Networks\u00a038, 393\u2013422 (2002)","journal-title":"Computer Networks"},{"key":"13_CR3","doi-asserted-by":"crossref","unstructured":"Xia, D., Vlajic, N.: Near-optimal Node Clustering in Wireless Sensor Networks for Environment Monitoring. In: Canadian Conference on Electrical and Computer Engineering 2006, Ottawa, Ont., Canada (2007)","DOI":"10.1109\/AINA.2007.97"},{"key":"13_CR4","unstructured":"Welsh, M., Chen, B., et al.: CodeBlue: Wireless Sensor Networks for Medical Care. In: Division of Engineering and Applied Sciences. Harvard University (2006)"},{"issue":"3","key":"13_CR5","first-page":"61","volume":"50","author":"P. Neumann","year":"2007","unstructured":"Neumann, P.: Wireless Sensor Networks in Process Automation \u2013 Survey and Standardisation Activities. Automatisierungstechnische Praxis\u00a050(3), 61\u201367 (2007)","journal-title":"Automatisierungstechnische Praxis"},{"key":"13_CR6","doi-asserted-by":"crossref","unstructured":"Gutierrez, J.A.: On the Use of IEEE 802.15.4 to Enable Wireless Sensor Networks in Building Automation. In: Proc. of the IEEE 15th Int. Symp. on Personal Indoor and Mobile Radio Communications, vol.\u00a03, pp. 1865\u20131869 (2004)","DOI":"10.1109\/PIMRC.2004.1368322"},{"key":"13_CR7","unstructured":"Osborn, K.: Sensor Finds. In: Ids Sources of Fire, Defense News, Technology Watch, February 12 (2007)"},{"key":"13_CR8","unstructured":"Schechter, E.: Sensing Trouble. In: Novel Approaches to Detecting Explosives at Standoff Ranges, Defense News, Technology Watch (2007)"},{"issue":"4","key":"13_CR9","doi-asserted-by":"publisher","first-page":"872","DOI":"10.1145\/177492.177726","volume":"16","author":"L. Lamport","year":"1994","unstructured":"Lamport, L.: The Temporal Logic of Actions. ACM Transactions on Programming Languages and Systems\u00a016(4), 872\u2013923 (1994)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"13_CR10","unstructured":"Lamport, L.: TLA WWW pages (1996), http:\/\/www.research.digital.com\/SRC\/tla\/tla.html"},{"issue":"5","key":"13_CR11","doi-asserted-by":"publisher","first-page":"166","DOI":"10.1145\/186025.186058","volume":"16","author":"M. Abadi","year":"1994","unstructured":"Abadi, M., Lamport, L.: An Old-Fashion Recipe for Real-Time. ACM Trans. on Programming Languages and Systems\u00a016(5), 166\u2013178 (1994)","journal-title":"ACM Trans. on Programming Languages and Systems"},{"issue":"3","key":"13_CR12","doi-asserted-by":"publisher","first-page":"872","DOI":"10.1145\/177492.177726","volume":"16","author":"L. Lamport","year":"1999","unstructured":"Lamport, L., Paulson, L.C.: Should Your Specification Language Be Typed? ACM Trans. Programming Languages and Systems\u00a016(3), 872\u2013923 (1999)","journal-title":"ACM Trans. Programming Languages and Systems"},{"key":"13_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"242","DOI":"10.1007\/978-3-540-39656-7_10","volume-title":"Formal Methods for Components and Objects","author":"B. Batson","year":"2003","unstructured":"Batson, B., Lamport, L.: High-Level Specifications: Lessons from Industry. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2002. LNCS, vol.\u00a02852, pp. 242\u2013261. Springer, Heidelberg (2003)"},{"key":"13_CR14","doi-asserted-by":"crossref","unstructured":"Tasiran, S., Yu, Y., Batson, B.: Linking Simulation with Formal Verification at a Higher Level. IEEE Design and Test of Computers, 472\u2013482 (2004)","DOI":"10.1109\/MDT.2004.94"},{"key":"13_CR15","unstructured":"Janowska, A., Janowski, P.: Verification of Estelle Specifications Using TLA+ (1998)"},{"key":"13_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"398","DOI":"10.1007\/3-540-63533-5_21","volume-title":"FME \u201997 Industrial Applications and Strengthened Foundations of Formal Methods","author":"A. Mokkedem","year":"1997","unstructured":"Mokkedem, A., Ferguson, M.J., deB Johnston, R.: A TLA Solution to the Specification of the RLP1 Retransmission Protocol. In: Fitzgerald, J.S., Jones, C.B., Lucas, P. (eds.) FME 1997. LNCS, vol.\u00a01313, pp. 398\u2013417. Springer, Heidelberg (1997)"},{"key":"13_CR17","unstructured":"Sacuta, A.D.: PN-3306: Radio Link Protocol 1 (ballot resolution draft). TLA Draft Standard TR45.3.2\/95.02.28.03, Data Services Task Group of ANSI Accredited TIA TR45-3 (1995)"},{"key":"13_CR18","doi-asserted-by":"publisher","first-page":"440","DOI":"10.1109\/EURMIC.1997.617347","volume-title":"Proceedings 23rd Euromicro Conference: New Frontiers of Information Technology (EUROMICRO 1997)","author":"T. Kapus","year":"1997","unstructured":"Kapus, T., Brezocnik, Z.: TLA-Style Specification of a Mobile Network. In: Proceedings 23rd Euromicro Conference: New Frontiers of Information Technology (EUROMICRO 1997), pp. 440\u2013447. IEEE Computer Society, Los Alamitos (1997)"},{"key":"13_CR19","doi-asserted-by":"crossref","unstructured":"Narayama, P., Ruiming, C., Yao, Z., Zhi, F., Hai, Z.: Automatic Vulnerability Checking of IEEE 802.16 WiMAX Protocols through TLA+. In: 2nd IEEE Workshop on Secure Network Protocols, pp. 44\u201349 (2006)","DOI":"10.1109\/NPSEC.2006.320346"},{"key":"13_CR20","first-page":"174","volume-title":"Proc. of the 5th Annual International Conference on Mobile Computing and Networking","author":"W.R. Heinzelman","year":"1999","unstructured":"Heinzelman, W.R., Kulik, R., Balakrishnan, H.: Adaptive Protocols for Information Dissemination in Wireless Sensor Networks. In: Proc. of the 5th Annual International Conference on Mobile Computing and Networking, pp. 174\u2013185. ACM, Seatle (1999), http:\/\/citeseer.nj.nec.com\/heinzelman99adaptive.html"},{"key":"13_CR21","unstructured":"Carzaniga, A.: Architectures for an Event Notification Service Scalable to Wide-Area Networks. Ph.D. Thesis, Politecnico di Milano, Milano, Italy (1999)"},{"issue":"3","key":"13_CR22","doi-asserted-by":"publisher","first-page":"332","DOI":"10.1145\/380749.380767","volume":"19","author":"A. Carzaniga","year":"2001","unstructured":"Carzaniga, A., Rosenblum, D.S., Wolf, A.L.: Design and Evaluation of a Wide-Area Event Notification Service. ACM Trans. on Computer Systems (TOCS)\u00a019(3), 332\u2013383 (2001)","journal-title":"ACM Trans. on Computer Systems (TOCS)"},{"key":"13_CR23","doi-asserted-by":"publisher","DOI":"10.1002\/9780470035405","volume-title":"Advanced Wireless Networks. 4G Technologies","author":"S.G. Glisic","year":"2006","unstructured":"Glisic, S.G.: Advanced Wireless Networks. 4G Technologies. John Wiley and Sons, Chichester (2006)"},{"key":"13_CR24","doi-asserted-by":"crossref","unstructured":"Downey, P., Cardell-Oliver, R.: Evaluating the Impact of Limited Resource on the Performance of Flooding in Wireless Sensor Networks. In: Proc. of the 2004 International Conference on Dependable Systems and Networks (2004)","DOI":"10.1109\/DSN.2004.1311949"},{"key":"13_CR25","unstructured":"Cardell-Oliver, R.: http:\/\/www.csse.uwa.edu.au\/~rachel\/"}],"container-title":["Communications in Computer and Information Science","Computer Networks"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-13861-4_13.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,22]],"date-time":"2025-02-22T00:27:26Z","timestamp":1740184046000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-13861-4_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642138607","9783642138614"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-13861-4_13","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2010]]}}}