Microservice approach to the qualitative study of attractors of binary dynamic systems based on the Boolean constraint method | IEEE Conference Publication | IEEE Xplore