Lots of discussion about the pros and cons of using UML for formal models; next up: MS OSLO/M #dslunconference