@conference {10.1007/3-540-57209-0_21,
	title = {A pragmatic task design approach based on a Ward/Mellor real-time structured specification},
	booktitle = {Software Engineering {\textendash}- ESEC {\textquoteright}93},
	year = {1993},
	pages = {301{\textendash}312},
	publisher = {Springer Berlin Heidelberg},
	organization = {Springer Berlin Heidelberg},
	address = {Berlin, Heidelberg},
	abstract = {This paper shows some details about the development of a distributed system for the control and supervision of all processes related to the coal feeding a thermal power station. Starting from a structured specification based on the Ward/Mellor methodology for real-time systems, a method for systematic design and implementation is built. The method can be automated in the future, and includes a series of guidelines, rules, procedures, reusable components and graphical representations to successfully derive the implementation from the structured specification.},
	isbn = {978-3-540-47972-7},
	author = {Tuya, J. and S{\'a}nchez, L. and Zurita, R. and Corrales, J. A.},
	editor = {Sommerville, Ian and Paul, Manfred}
}
