This paper presents an abstract machine approach to specify required
constraints. The specification is formal and contains functional and
temporal system requirements. This approach is of special importance
for integrators of Real Time Computing Systems, since they have to
specify the required constraints in such a way, that it can be
understood by developers and implementators in different domains, in
different companies in different countries.