progr. |
A method of notating internal task structure is necessary to provide sufficient modularity. This is done with the state specification (см. Auslander David M. Mechatronics: A Design and Implementation Methodology for Real Time Control Software) |