Mining rainfall spatio-temporal patterns in Twitter: a temporal approach
An introduction to automated analysis of feature models through propositional logic