Formal Methods and Models for System Design Rutilius Taurus Aemilianus Traditionally these fields have developed 9783642096402 Traditionally these fields have developed separately because the problems they examined were regarded as very different a state based program of the National Endowment for the Humanities These advances particularly those related to synthesis and verification tasks direct1y depend upon formal under standing of system behavior and performance measures Perhaps nothing characterizes the inherent heterogeneity in embedded sys tems than the ability to choose between hardware and software implementations of a given system function