Official websites use .gov
A
.gov website belongs to an official
government organization in the United States.
Secure .gov websites use HTTPS
A lock (
) or https:// means you've safely
connected to the .gov website. Share sensitive
information only on official, secure websites.
The TWES Model. This UPPAAL automaton models the periodic monitoring, counseling (starting from location G23), and treatment (starting from location G34). Detailed explanation can be found in Ref.17 [Colour figure can be viewed at https://www.wileyonlinelibrary.com]
