@inproceedings{63a29e119c2e401ab75e9a8376ec30fe,
title = "A change of perspective yields formal analysis",
abstract = "In this paper we argue that a judicious use of models in science and engineering can considerably simplify the design and analysis of complex dynamic systems. To substantiate this claim, we first review the mathematical form and the role played by models in science and engineering, respectively. We then show that a change in perspective on the purpose of models in the analysis of cardiac tissue, allowed us to derive for the first time, in an automatic fashion, the parameter-ranges distinguishing between normal and abnormal behavior in cardiac cells.",
author = "R. Grosu and F. Fenton and S. Smolka and E. Bartocci",
year = "2011",
doi = "10.1109/SEW.2011.16",
language = "English",
isbn = "9780769546278",
series = "Proceedings - 2011 34th IEEE Software Engineering Workshop, SEW 2011",
publisher = "IEEE Computer Society",
pages = "69--76",
booktitle = "Proceedings - 2011 34th IEEE Software Engineering Workshop, SEW 2011",
note = "2011 34th IEEE Software Engineering Workshop, SEW 2011 ; Conference date: 20-06-2011 Through 21-06-2011",
}