In this report, we describe an approach that integrates a mathematical speci cation language with more traditional software design techniques to yield a practicable methodology for the speci cation of safety-critical control systems. To manage complexity and to foster separation of concerns, the system design model is divided into three views: the architectural view, speci ed with object and cl...

This paper describes the design and synthesis of a heterojunction photoanode composed of highly-oriented Fe2O3/ZnFe2O4 nanocolumnar arrays with a well-defined morphology by reactive ballistic deposition and atomic layer deposition. This specific structure enhances the charge separation at the Fe2O3/ZnFe2O4 interface, leading to an improved photoelectrochemical performance for water oxidation.

A simple and rapid analytical method for the determination of trace levels of five sulphonated and azo sulphonated reactive dyes: Cibacron Reactive Blue 2 (C-Blue, trisulphonated dye), Cibacron Reactive Red 4 (C-Red, tetrasulphonated azo dye), Cibacron Reactive Yellow 2 (C-Yellow, trisulphonated azo dye), Levafix Brilliant Red E-4BA (L-Red, trisulphonated dye), and Levafix Brilliant Blue E-4BA ...

The other important property of reactive systems is the inherent concurrency of their functionality. By notions of modern software design, the natural concurrency in interaction between a reactive system and its environment and within the system itself has to be reflected on the embedded software architecture. Insisting on the resemblance between the real-life problem structure and the structur...

In this paper, we demonstrate the capability of mass, a real-time design language, for large systems speciication. The paper presents a hierarchical speciication of an automatic cruise controller that evolves through stepwise reenement. In particular, we show modular design, the separation of the functional and reactive concerns, and the succinct and intuitive nature of speciications in mass.

Reactive distillation Reactive Distillation (RD) is a combination of reaction and distillation in a single vessel owing to which it enjoys a number of specific advantages over conventional sequential approach of reaction followed by distillation or other separation techniques. Improved selectivity, increased conversion, better heat control, effective utilization of reaction heat, scope for diff...

The optimum use of allogeneic blood and marrow transplantation (BMT) as a curative therapy for hematological malignancies lies in the successful separation of mature donor T cells that are host reactive and induce graft-versus-host disease (GVHD) from those that are tumor reactive and mediate graft-versus-leukemia (GVL) effects. To study whether this separation was possible in an MHC-matched mu...

Reactive dye is a class of highly coloured organic substances, primarily used for tinting textiles. The dyes contain a reactive group, either a haloheterocycle or an activated double bond, which, when applied to a fibre in an alkaline dye bath, forms a chemical bond between the molecule of dye and that of the fibre. The reactive dye therefore becomes a part of the fibre and is much less likely ...