Freescale Semiconductor Data Sheet: Technical Data.
MK40DN512ZVMD10 - K40 Sub-Family
MK40DN512ZVMD10 - Microcontroller