We analyze a dynamic model of agenda formation in which players compete in each period to place their ideal policies on the agenda. In each period, with some probability, a decision maker takes an action from the agenda. We show that in any markov equilibrium of this game, players with extreme ideal policies will always compete to be in the agenda. On the other hand, there is a positive probabi...

We discuss the construction of an assurance case for the pace-maker software. The software is developed following a model-based technique that combined formal modeling of the system, systematic code generation from the formal model, and measurement of timing behavior of the implementation. We show how the structure of the assurance case reflects our development approach.

As an acute effect, both ethanol and methanol prolong P-R, Q-T and ST intervals in rat electrocardiogram. The R wave amplitude showed a marked increase with methanol. Other ECG abnormalities like S-T segment changes, appearance of Iso-electric S-T segment, inverted 'T' wave, ventricular ectopic and wandering pace maker were more common in methanol treated animals.