Nighttime Depression Episodes Classification using a Formal Method: Knowledge Discovery in Databases | IEEE Conference Publication | IEEE Xplore