ambient intelligence : concepts and applications .
Uppaal in a nutshell