dtmc


const int K = 65204;
const int M = 10;
const double p = 0.001;
const double q = M/K;

module zeroconf
	s : [0..6] init 0;

	[] (s=0) -> q : (s'=1) + (1-q) : (s'=5);
	[] (s=1) -> p : (s'=2) + (1-p) : (s'=0);
	[] (s=2) -> p : (s'=3) + (1-p) : (s'=0);
	[] (s=3) -> p : (s'=4) + (1-p) : (s'=0);
	[] (s=4) -> p : (s'=6) + (1-p) : (s'=0);

endmodule
