Schrödinger model and Stratonovich-Weyl correspondence for Heisenberg motion groups

We introduce a Schrödinger model for the unitai'y irreducible representations of a Heisenberg motion group and we show that the usual Weyl quantization then provides a Stratonovich-Weyl correspondence.