The E-M algorithm does not guarantee convergence to global maxima. Following Applet shows this nicely: http://www.cs.cmu.edu/~alad/em/
Is it possible to generate data set, that guarantees reaching global maximum? Maybe few simple constraints imposed on generation process is enough to guarantee, that E-M will find global maximum?