Designing architectural frameworks without the aid of formal modeling is error prone. But, unless supported by analysis, formal modeling is prone to its own class of errors, in which formal statements fail to match the designer's intent. A fully automatic analysis tool can rapidly expose such errors, and can make the process of constructing and refining a formal model more effective.
No takes yet. Share an insight, caveat, or question.
Jackson et al. (2000) studied this question.
Synapse has enriched 2 closely related papers on similar clinical questions. Consider them for comparative context: