Process algebras for hybrid systems door