Menu Action on a Kmelia composite specification in the package list.
Kml2latex.userprefs
see the kml2latex plugin description
kml2latex
The result is a set of images files that illustrate the state space (e.g. deadlock states).