\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
-asynchronously. This implicates that the programmer only needs to keep hold of
+asynchronously. This implies that the programmer only needs to keep hold of
the reference to the device and not the actual device record.
\begin{lstlisting}[caption={Device type},label={lst:mtaskdevice}]