\glspl{SDS} and \glspl{Task} stored on the device. The \CI{MTaskDevice}
definition is shown in Listing~\ref{lst:mtaskdevice} accompanied with the
necessary classes and sub types. Devices added to the system must be reachable
\glspl{SDS} and \glspl{Task} stored on the device. The \CI{MTaskDevice}
definition is shown in Listing~\ref{lst:mtaskdevice} accompanied with the
necessary classes and sub types. Devices added to the system must be reachable
the reference to the device and not the actual device record.
\begin{lstlisting}[caption={Device type},label={lst:mtaskdevice}]
the reference to the device and not the actual device record.
\begin{lstlisting}[caption={Device type},label={lst:mtaskdevice}]