\newglossaryentry{Arduino}{name=Arduino,
	description={is a cheap and popular microcontroller that is widely used for
	rapid prototyping}}
\newglossaryentry{Clean}{name=Clean,
	description={is a staticly typed pure lazy functional programming language based on graph
		rewriting}}
\newglossaryentry{Haskell}{name=Haskell,
	description={is a staticly typed pure lazy functional programming language}}
\newglossaryentry{iTasks}{name=iTasks,
	description={is a \acrshort{TOP} implementation written as a \acrshort{EDSL}
	in the \gls{Clean} programming language}}
\newglossaryentry{Ivory}{name=Ivory,
	description={is a type-safe \gls{EDSL} designed to generate \gls{C}-code
	for high-assurance low-level systems}}
\newglossaryentry{Task}{name=Task,
	description={is the basic building block of a \acrshort{TOP} system}}
\newglossaryentry{mTask}{name=mTask,
	description={is an abstraction for \glspl{Task} living on \acrshort{IoT} devices}}
\newglossaryentry{C}{name=C,
	description={is low-level imperative programming language suitable for
	embedded devices}}
\newglossaryentry{C++}{name=C++,
	description={is low-level imperative and object-oriented programming
	language suitable for embedded devices based on \gls{C}}}
\newglossaryentry{SAPL}{name=SAPL,
	description={is an intermediate purely functional programming language}}
\newglossaryentry{Firmata}{name=Firmata,
	description={is standardized protocol for communicating with
	microcontrollers}}
\newglossaryentry{Javascript}{name=Javascript,
	description={is an imperative programming language designed to run in web
	browsers}}
