Automata4CPS documentation
==========================

Welcome to the Automata4CPS documentation. This guide will cover everything you need to know about using, installing,
and understanding the Automata4CPS tool.

.. toctree::
   :maxdepth: 1
   :caption: Contents:

   installation
   automata4cps