An example EF6 implementation