In the case of good reduction, smooth integral models for Shimura varieties of PEL type have been constructed by Faltings and Chai. In my talk I'll describe how their construction can be extended to the cases of bad reduction at unramified primes, and discuss the geometry of the resulting spaces. A useful tool in this context is provided by the language of 1-motives. This is joint work with Ben Moonen.