@inproceedings{2,
  author = {J. Tuya and L. Sánchez and R. Zurita and J. Corrales},
  editor = {Ian Sommerville and Manfred Paul},
  title = {A pragmatic task design approach based on a Ward/Mellor real-time structured specification},
  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.},
  year = {1993},
  pages = {301-312},
  publisher = {Springer Berlin Heidelberg},
  address = {Berlin, Heidelberg},
  isbn = {978-3-540-47972-7},
}