Transition disks definition

We developed a prototypical tool in Java that takes an AADL model as input, and then computes the effect matrix (see Definition 3 and Algorithm 1) as result. Inside the tool, it uses our AADL-to-Promela translator [10] to have the SPIN model checker [9] generate the transitions system. This transition system, in explicit-state representation, is dumped to disk as a file. All computations are then performed on that state space. 

Potentiodynamic polarization curves of thin-fiim disk materials in a droplet of D1 water. Parameter definitions DCC DC sputtered C RFC RF sputtered C CoCr, Co + 17%Cr CoP, CO + 8%P Co, pure Co. (Reprinted from Brusic, V. et al.. Electrochemistry in Transition, Murphy, O.J. et al. (eds.). Plenum, New York, 1992, p. 547. With... 

---