Add PTKDeviceState specs
Begin implementing PTKDevice