Modeling the power consumption measuring device for contactless smart cards by L. Kool