{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T14:26:42Z","timestamp":1725805602872},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662452332"},{"type":"electronic","value":"9783662452349"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-662-45234-9_25","type":"book-chapter","created":{"date-parts":[[2014,9,25]],"date-time":"2014-09-25T21:28:35Z","timestamp":1411680515000},"page":"351-367","source":"Crossref","is-referenced-by-count":6,"title":["Challenges in Modelling and Analyzing Quantitative Aspects of Bike-Sharing Systems"],"prefix":"10.1007","author":[{"given":"Maurice H.","family":"ter Beek","sequence":"first","affiliation":[]},{"given":"Alessandro","family":"Fantechi","sequence":"additional","affiliation":[]},{"given":"Stefania","family":"Gnesi","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"25_CR1","first-page":"94","volume":"95","author":"A. Antonik","year":"2008","unstructured":"Antonik, A., Huth, M., Larsen, K.G., Nyman, U., W\u0105sowski, A.: 20 Years of Modal and Mixed Specifications. Bulletin of the EATCS\u00a095, 94\u2013129 (2008)","journal-title":"Bulletin of the EATCS"},{"key":"25_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1007\/978-3-642-16265-7_5","volume-title":"Integrated Formal Methods","author":"P. Asirelli","year":"2010","unstructured":"Asirelli, P., ter Beek, M.H., Fantechi, A., Gnesi, S.: A Logical Framework to Deal with Variability. In: M\u00e9ry, D., Merz, S. (eds.) IFM 2010. LNCS, vol.\u00a06396, pp. 43\u201358. Springer, Heidelberg (2010)"},{"key":"25_CR3","doi-asserted-by":"crossref","unstructured":"Asirelli, P., ter Beek, M.H., Fantechi, A., Gnesi, S.: Formal Description of Variability in Product Families. In: de Almeida, E.S., Kishi, T., Schwanninger, C., John, I., Schmid, K. (eds.) Proceedings of the 15th International Software Product Lines Conference (SPLC 2011), pp. 130\u2013139. IEEE (2011)","DOI":"10.1109\/SPLC.2011.34"},{"key":"25_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1007\/978-3-642-34026-0_12","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change","author":"P. Asirelli","year":"2012","unstructured":"Asirelli, P., ter Beek, M.H., Fantechi, A., Gnesi, S.: A Compositional Framework to Derive Product Line Behavioural Descriptions. In: Margaria, T., Steffen, B. (eds.) ISoLA 2012, Part I. LNCS, vol.\u00a07609, pp. 146\u2013161. Springer, Heidelberg (2012)"},{"issue":"2","key":"25_CR5","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1007\/s10703-012-0178-9","volume":"42","author":"S.S. Bauer","year":"2013","unstructured":"Bauer, S.S., Fahrenberg, U., Juhl, L., Larsen, K.G., Legay, A., Thrane, C.R.: Weighted modal transition systems. Formal Methods in System Design\u00a042(2), 193\u2013220 (2013)","journal-title":"Formal Methods in System Design"},{"key":"25_CR6","series-title":"LNCS","first-page":"368","volume-title":"ISoLA 2014, Part I","author":"M.H. Beek ter","year":"2014","unstructured":"ter Beek, M.H., de Vink, E.P.: Towards Modular Verification of Software Product Lines with mCRL2. In: Margaria, T., Steffen, B. (eds.) ISoLA 2014, Part I. LNCS, vol.\u00a08802, pp. 368\u2013385. Springer, Heidelberg (2014)"},{"key":"25_CR7","doi-asserted-by":"crossref","unstructured":"ter Beek, M.H., de Vink, E.P.: Using mCRL2 for the analysis of software product lines. In: Proceedings of the 2nd FME Workshop on Formal Methods in Software Engineering (FormaliSE 2014). IEEE (2014)","DOI":"10.1145\/2593489.2593493"},{"issue":"2","key":"25_CR8","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1016\/j.scico.2010.07.002","volume":"76","author":"M.H. Beek ter","year":"2011","unstructured":"ter Beek, M.H., Fantechi, A., Gnesi, S., Mazzanti, F.: A state\/event-based model-checking approach for the analysis of abstract system properties. Science of Computer Programming\u00a076(2), 119\u2013135 (2011)","journal-title":"Science of Computer Programming"},{"key":"25_CR9","unstructured":"ter Beek, M.H., Fantechi, A., Gnesi, S., Mazzanti, F.: A collection of models of a bike-sharing case study. Technical Report TR-QC-07-2014, QUANTICOL (May 2014), \n                    \n                      http:\/\/milner.inf.ed.ac.uk\/wiki\/files\/y0R2Q6q\/TRQC072014pdf.html"},{"key":"25_CR10","doi-asserted-by":"crossref","unstructured":"ter Beek, M.H., Gnesi, S., Mazzanti, F.: Demonstration of a model checker for the analysis of product variability. In: Proceedings of the 16th International Software Product Line Conference (SPLC 2012), vol.\u00a02, pp. 242\u2013245. ACM (2012)","DOI":"10.1145\/2364412.2364454"},{"key":"25_CR11","doi-asserted-by":"crossref","unstructured":"ter Beek, M.H., Gnesi, S., Mazzanti, F.: Model Checking Value-Passing Modal Specifications. In: Perspectives of System Informatics - Revised selected papers of the 9th International Andrei Ershov Memorial Conference (PSI 2014). LNCS. Springer (2014)","DOI":"10.1007\/978-3-662-46823-4_25"},{"key":"25_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"450","DOI":"10.1007\/978-3-642-32759-9_36","volume-title":"FM 2012: Formal Methods","author":"M.H. Beek ter","year":"2012","unstructured":"ter Beek, M.H., Mazzanti, F., Sulova, A.: VMC: A Tool for Product Variability Analysis. In: Giannakopoulou, D., M\u00e9ry, D. (eds.) FM 2012. LNCS, vol.\u00a07436, pp. 450\u2013454. Springer, Heidelberg (2012)"},{"key":"25_CR13","doi-asserted-by":"crossref","unstructured":"Benavides, D., Segura, S., Ruiz-Cort\u00e9s, A.: Automated Analysis of Feature Models 20 Years Later: A Literature Review. Information Systems\u00a035(6) (2010)","DOI":"10.1016\/j.is.2010.01.001"},{"key":"25_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"275","DOI":"10.1007\/978-3-642-24372-1_20","volume-title":"Automated Technology for Verification and Analysis","author":"N. Bene\u0161","year":"2011","unstructured":"Bene\u0161, N., K\u0159et\u00ednsk\u00fd, J., Larsen, K.G., M\u00f8ller, M.H., Srba, J.: Parametric Modal Transition Systems. In: Bultan, T., Hsiung, P.-A. (eds.) ATVA 2011. LNCS, vol.\u00a06996, pp. 275\u2013289. Springer, Heidelberg (2011)"},{"key":"25_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"102","DOI":"10.1007\/978-3-642-19440-5_7","volume-title":"Software Language Engineering","author":"K. B\u0105k","year":"2011","unstructured":"B\u0105k, K., Czarnecki, K., W\u0105sowski, A.: Feature and Meta-Models in Clafer: Mixed, Specialized, and Coupled. In: Malloy, B., Staab, S., van den Brand, M. (eds.) SLE 2010. LNCS, vol.\u00a06563, pp. 102\u2013122. Springer, Heidelberg (2011)"},{"key":"25_CR16","doi-asserted-by":"crossref","unstructured":"Classen, A., Cordy, M., Heymans, P., Legay, A., Schobbens, P.-Y.: Formal semantics, modular specification, and symbolic verification of product-line behaviour. Science of Computer Programming 80(B), 416\u2013439 (2014)","DOI":"10.1016\/j.scico.2013.09.019"},{"issue":"8","key":"25_CR17","doi-asserted-by":"publisher","first-page":"1069","DOI":"10.1109\/TSE.2012.86","volume":"39","author":"A. Classen","year":"2013","unstructured":"Classen, A., Cordy, M., Schobbens, P.-Y., Heymans, P., Legay, A., Raskin, J.-F.: Featured Transition Systems: Foundations for Verifying Variability-Intensive Systems and Their Application to LTL Model Checking. IEEE Transactions on Software Engineering\u00a039(8), 1069\u20131089 (2013)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"25_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1007\/978-3-642-36742-7_15","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"S. Cranen","year":"2013","unstructured":"Cranen, S., Groote, J.F., Keiren, J.J.A., Stappers, F.P.M., de Vink, E.P., Wesselink, W., Willemse, T.A.C.: An Overview of the mCRL2 Toolset and Its Recent Advances. In: Piterman, N., Smolka, S.A. (eds.) TACAS 2013 (ETAPS 2013). LNCS, vol.\u00a07795, pp. 199\u2013213. Springer, Heidelberg (2013)"},{"key":"25_CR19","doi-asserted-by":"crossref","unstructured":"Fricker, C., Gast, N.: Incentives and Redistribution in Bike-Sharing Systems with Stations of Finite Capacity. arXiv:1201.1178v3 [nlin.AO] (September 2013)","DOI":"10.1007\/s13676-014-0053-5"},{"key":"25_CR20","unstructured":"Gianfrotta, L., Topazzini, S.: Progettare Servizi Pubblici: Elaborazione di un Modello per lo Sviluppo di Nuovi Servizi e sua Applicazione al caso Bike Sharing di Pisa. Master\u2019s thesis, Universit\u00e0 di Pisa (2013) (in Italian)"},{"key":"25_CR21","doi-asserted-by":"crossref","unstructured":"Kang, K.C., Cohen, S.G., Hess, J.A., Novak, W.E., Peterson, A.S.: Feature-Oriented Domain Analysis (FODA) Feasibility Study. Technical Report CMU\/SEI-90-TR-21, Carnegie Mellon University (November 1990)","DOI":"10.21236\/ADA235785"},{"key":"25_CR22","series-title":"LNCS","first-page":"320","volume-title":"ISoLA 2014, Part I","author":"M. Lochau","year":"2014","unstructured":"Lochau, M., Mennicke, S., Baller, H., Ribbeck, L.: DeltaCCS: A Core Calculus for Behavioral Change. In: Margaria, T., Steffen, B. (eds.) ISoLA 2014, Part I. LNCS, vol.\u00a08802, pp. 320\u2013335. Springer, Heidelberg (2014)"},{"key":"25_CR23","doi-asserted-by":"crossref","unstructured":"Mendon\u00e7a, M., Branco, M., Cowan, D.D.: S.P.L.O.T.: software product lines online tools. In: Arora, S., Leavens, G.T. (eds.) Companion Proceedings of the 24th Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2009), pp. 761\u2013762. ACM (2009)","DOI":"10.1145\/1639950.1640002"},{"key":"25_CR24","unstructured":"Midgley, P.: Bicycle-Sharing Schemes: Enhancing Sustainable Mobility in Urban Areas. Background Paper CSD19\/2011\/BP8, Commission on Sustainable Development, United Nations Department of Economic and Social Affairs (May 2011)"},{"key":"25_CR25","doi-asserted-by":"crossref","unstructured":"Murashkin, A., Antkiewicz, M., Rayside, D., Czarnecki, K.: Visualization and exploration of optimal variants in product line engineering. In: Kishi, T., Jarzabek, S., Gnesi, S. (eds.) Proceedings of the 17th International Software Product Line Conference (SPLC 2013), pp. 111\u2013115. ACM (2013)","DOI":"10.1145\/2491627.2491647"},{"key":"25_CR26","unstructured":"Niccolai, C., Zanzi, E.: Progettare i servizi: Creazione di un modello di validit\u00e0 generale e applicazione al servizio di Bike Sharing a Pisa. Master\u2019s thesis, Universit\u00e0 di Pisa (2013) (in Italian)"},{"key":"25_CR27","doi-asserted-by":"crossref","unstructured":"Pereira, J.A., Souza, C., Figueiredo, E., Ab\u00edlio, R., Vale, G., Costa, H.A.X.: Software Variability Management: An Exploratory Study with Two Feature Modeling Tools. In: Proceedings of the 7th Brazilian Symposium on Software Components, Architectures and Reuse (SBCARS 2013), pp. 20\u201329. IEEE (2013)","DOI":"10.1109\/SBCARS.2013.13"},{"key":"25_CR28","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1016\/j.scico.2012.06.002","volume":"79","author":"T. Th\u00fcm","year":"2014","unstructured":"Th\u00fcm, T., K\u00e4stner, C., Benduhn, F., Meinicke, J., Saake, G., Leich, T.: FeatureIDE: An extensible framework for feature-oriented software development. Science of Computer Programming\u00a079, 70\u201385 (2014)","journal-title":"Science of Computer Programming"}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-45234-9_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,27]],"date-time":"2019-05-27T20:29:04Z","timestamp":1558988944000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-45234-9_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783662452332","9783662452349"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-45234-9_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}